{"entities":{"Q3608653":{"pageid":5638559,"ns":120,"title":"Item:Q3608653","lastrevid":50591846,"modified":"2026-01-14T12:17:27Z","type":"item","id":"Q3608653","labels":{"en":{"language":"en","value":"Logic Programming Approach to Automata-Based Decision Procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523612"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608653$CB7EFDE4-8B5B-492F-AFE4-2DED4540BFB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23ee67a0a0c0e69bb01a1466f81b1f95b6bc705e","datavalue":{"value":{"text":"Logic Programming Approach to Automata-Based Decision Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608653$4ACCD8EA-6ACB-4FE3-9CF9-30CC8AA8705D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"615b8395de8ecef199e0db930796b1253547954f","datavalue":{"value":"1213.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608653$6AFA3AE3-CB58-4527-951C-0463C5F2341D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8442abc0608fdecd10dbacb8c10641485f44213f","datavalue":{"value":"10.1007/978-3-540-74610-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608653$8E514C82-832A-4B80-800B-DC4D19C77ADC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f270c61a436b836c5d3fc57a606c5ed6ced25e67","datavalue":{"value":{"entity-type":"item","numeric-id":246448,"id":"Q246448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608653$C3C2F332-9C7A-4398-8D03-BD73C47DC05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7da8f3474efa230b7cf79910c5d9dcc348d172f","datavalue":{"value":{"entity-type":"item","numeric-id":347397,"id":"Q347397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608653$CDB7865F-B974-4368-9F90-CCAF1D772165","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608653$0C93BA75-A5AC-48D1-BE6B-EB37ECE23054","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608653$DB76980B-0FEC-4143-BDF7-6AEE597C1FAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d06c8034206dc120468fea5dcc1070280e40d0f","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.4720","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608653$7FBA610B-ABE8-40A7-95CB-B27FB8190FB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608653$0193D67E-4E49-4419-884A-898C96785A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608653$55A74543-44C0-4150-970C-957C184DC02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608653$6592697B-A2A6-431F-A989-DD202356E791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608653$58E18CD7-F3C6-464A-857C-B202A4A3916F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7715f5b4702174b787560f0940ace7f0649907d7","datavalue":{"value":"5523612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608653$9F5E25D3-3862-49F0-94B4-9C7A5432C0E9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608653$4FED71C3-A366-403F-BA19-080E79CFDFD3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608653$C31FFAB9-121C-45FF-9FB4-6D7A4847A454","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92d92e4ab2b3150e63714582e520cbd228606fa4","datavalue":{"value":"W2154274494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608653$DAE28EA6-4E4F-4E9A-8E22-221BEA37F539","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09d1e67bcd5d08c719deb03f2b46d860d9ca593","datavalue":{"value":{"entity-type":"item","numeric-id":347398,"id":"Q347398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd1990ee5b09a42c7023223ce9aefdbd1fc5c8f0","datavalue":{"value":{"amount":"+0.9810636639595032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608653$EDECE18D-26B5-46EE-99BB-3481E1A7ACE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88e7122574b85e44aba4330f45d3b6ba6b39f6ad","datavalue":{"value":{"entity-type":"item","numeric-id":3303905,"id":"Q3303905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9b01a8022c058e0ac696bc5ae2f11f6cfa133e","datavalue":{"value":{"amount":"+0.7420098185539246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608653$95E7EDD6-5A50-4171-A01B-48CC7148D166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a492c266f8d63763508771fbba3b92d8128ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4783320,"id":"Q4783320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4efcef34150d7a38649569e55e34bc326492df9","datavalue":{"value":{"amount":"+0.7177844643592834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608653$95130CBD-BFD1-43F2-8905-66CAF0437C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de05b33a6902c0aa67582b2ccec39ffe7bca1081","datavalue":{"value":{"entity-type":"item","numeric-id":3608767,"id":"Q3608767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0787a5135da88f0bc1735baabda0fdb2c351ecad","datavalue":{"value":{"amount":"+0.7097519040107727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608653$61BB5331-12D9-4BA1-BCD0-16F3AC774B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2329bab1505a20cec0fa1dd881f1412ec6bd73","datavalue":{"value":{"entity-type":"item","numeric-id":4818808,"id":"Q4818808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f079bb70685efe293c6e4aa1fc4bbe1142d15f","datavalue":{"value":{"amount":"+0.7087652683258057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608653$1FB208E3-C9D5-467B-981B-A0797BCA46A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608653"}}}}}