{"entities":{"Q1778352":{"pageid":1789094,"ns":120,"title":"Item:Q1778352","lastrevid":82051058,"modified":"2026-05-06T19:59:14Z","type":"item","id":"Q1778352","labels":{"en":{"language":"en","value":"A fast consequence recognition algorithm for monadic logical programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2176702"}},"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":"Q1778352$3A11B7CB-13C8-40AF-9B3F-EF8D34EF31A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1a9d1e53ce79813280826e2f1ad6cfe617f3997","datavalue":{"value":{"text":"A fast consequence recognition algorithm for monadic logical programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1778352$DAB0FDDE-2EB9-4E8B-A298-F1F699E6EBE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c6b6ac21015dffc96a5ab6fdc060685109de610","datavalue":{"value":"1093.03503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778352$3B87581D-FF04-4E53-B86E-6B59DF4784D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c1882d816a3de15ea024b9fcc825b29f084363e","datavalue":{"value":"10.1023/A:1012406331222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778352$1E027DAD-9CBC-4F42-94BE-263A50315273","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca331d43c07f87122679ea5b8562301c6c127973","datavalue":{"value":{"entity-type":"item","numeric-id":1139606,"id":"Q1139606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778352$5040A56E-DD70-4F17-AF22-5FFC15958F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a7013e6796b270a865d988044a09cf88e66bbfb","datavalue":{"value":{"entity-type":"item","numeric-id":1778351,"id":"Q1778351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778352$92A94F18-F623-42E7-BF1C-13FF85B8C17E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778352$CE9AD65F-A710-41C9-8135-AD2FF3385F05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fd887b749fb78b3d1c93b0edf11f68e45f2ab02","datavalue":{"value":{"time":"+2005-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1778352$730ADA55-9CBA-4FAB-853A-36DFD8CA753B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778352$71058DB3-C062-4B30-8774-496143E3CC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778352$B3DE4E07-0E2D-463C-AEC6-13C56048C84B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3fa378206c64b5e6139115e6f510458f510dd7c","datavalue":{"value":"2176702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778352$BC7EBBBC-63B9-41E2-B1EC-DE965DF5763F","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":"Q1778352$59E3FD4A-8795-4BA2-969D-A505C00E4BE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98d44e4d4e1aba655c339eec5d70f51a7f5ad7e5","datavalue":{"value":"https://doi.org/10.1023/a:1012406331222","type":"string"},"datatype":"url"},"type":"statement","id":"Q1778352$F36E894F-50BC-444B-8E8F-3C181F5A7504","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8772daa89f8ec00c15a684967aac3b9e8db0ee7b","datavalue":{"value":"W1601081153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778352$27236F46-9A76-4B1A-9B7E-C9EC543FA56F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c202d0549c1ddeab41f1d69977c7a089cf6b81d9","datavalue":{"value":{"entity-type":"item","numeric-id":1392280,"id":"Q1392280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0aaa3a08f45d959747da8001a4d7628b1bd5ef","datavalue":{"value":{"amount":"+0.683000922203064","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":"Q1778352$C4A3508D-911F-4B46-88DE-BB955BD08D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5b327d8cb1e7bbd58999f68f09b0b4d2b2fae8","datavalue":{"value":{"entity-type":"item","numeric-id":3983122,"id":"Q3983122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ed9504ad4ab171c9197e48e1b8118f29b04bcf","datavalue":{"value":{"amount":"+0.6806842684745789","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":"Q1778352$DCE1ED59-B55E-48C9-8117-16211F190BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08573861efbb76b89bfa5d69f8e79c5c771e372d","datavalue":{"value":{"entity-type":"item","numeric-id":4809167,"id":"Q4809167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c287b27a4a86bc01e6dade918adb3adfa20bed","datavalue":{"value":{"amount":"+0.6800189018249512","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":"Q1778352$63627793-D263-4516-A0A0-4EB37EC748B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704d8235220b4b648e3548c46c45ac17ea651023","datavalue":{"value":{"entity-type":"item","numeric-id":4013071,"id":"Q4013071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a025652d2f558134703434a79d2a3f6cc3e3605","datavalue":{"value":{"amount":"+0.6786512136459351","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":"Q1778352$3ACFDF38-B0AD-4BB1-9209-27FCC0D445FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0b25c36a25a173ba338b9eab1eeb3fd1990ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2932827,"id":"Q2932827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0977404afab39752d2c77a10115c515cf7656eb1","datavalue":{"value":{"amount":"+0.6669256687164307","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":"Q1778352$6DB4A1C3-D1CF-4082-A069-2A2F4C2E9EF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fast consequence recognition algorithm for monadic logical programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fast_consequence_recognition_algorithm_for_monadic_logical_programs"}}}}}