{"entities":{"Q3201745":{"pageid":3212453,"ns":120,"title":"Item:Q3201745","lastrevid":49444507,"modified":"2026-01-07T04:16:43Z","type":"item","id":"Q3201745","labels":{"en":{"language":"en","value":"Completed logic programs and their consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4178745"}},"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":"Q3201745$4AA98C0E-6AB5-49ED-897E-B3F18BA87F82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff5d17e75d3facaf01de20b1556b9b986f872154","datavalue":{"value":{"text":"Completed logic programs and their consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3201745$CF8216C0-B708-4C13-A28A-FE5FD8DB204F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1689625426fc111fd7527ceb32a5cbf217ba5909","datavalue":{"value":"0715.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201745$09C295D0-C951-4A22-902B-356596B9D09C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e217b889b685767b00d8e999b3e5d4cee5a4ef23","datavalue":{"value":"10.1016/0743-1066(90)90032-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201745$B9B08603-8187-4742-AD56-71565D9B7DE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e797d21326216ad55a231168906c9c452687c51","datavalue":{"value":{"entity-type":"item","numeric-id":209152,"id":"Q209152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201745$2E67B8E1-8FA7-4A5E-AD61-01FCAFC2373E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201745$A455C77E-88B6-43B3-9787-A25FA3A362A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3201745$DB674E75-FF28-4217-BA31-162942047104","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201745$2E192019-8AE9-4A73-922E-AB442837A748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201745$D3BC9224-9D09-407C-9252-7ED96BD0E452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201745$434FA0DA-7EAF-4C99-ABA0-B9E4D9C3386E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf5600a235d56c81b6fe33d8de2f862dd5bdc887","datavalue":{"value":"4178745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201745$CF0BD4AC-0CAA-4798-AD45-E1ACE2675350","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dad4449a765947a06827d68bf6bae39b1f0ba439","datavalue":{"value":"Completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201745$6BC31E58-8B20-4ED5-931C-20D9A72702AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aab185f34e60f69befc6af8faf10964ae0bbb554","datavalue":{"value":"negative-cycle-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201745$A32F2DB2-375F-49A7-B835-0D0BBB0CEA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90406c111b84bff480250154259bfbd0c63bf28","datavalue":{"value":"order-consistent","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201745$C1E8C7A7-BB14-4FFC-9C6B-2F33A69C4800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201745$9DF390CD-97E6-4635-A109-E3F7DE1CFB5D","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":"Q3201745$5CC2684B-CB15-413B-A097-83F1FCF1810E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ec8d7660f3e66ff0e725cf0969fc558daa4846b6","datavalue":{"value":"Q126849108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201745$43806B05-0B3E-4C54-BDAB-62A1B003ED01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf67681e0f32eedeb6b49c09fce8612d504403c","datavalue":{"value":{"entity-type":"item","numeric-id":1208418,"id":"Q1208418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2df0276083804f010180b98fa508b0d396d6f34","datavalue":{"value":{"amount":"+0.8715693354606628","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":"Q3201745$DBF45FEC-BBD8-4F4A-9A40-D5D88E9CEEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336144dabaf1aa9aaa46cb5c6a43c772783481ca","datavalue":{"value":{"entity-type":"item","numeric-id":3200532,"id":"Q3200532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d4e14cdefb3c04e30b96f5d0aa251392a389ce","datavalue":{"value":{"amount":"+0.8080838918685913","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":"Q3201745$FD92162E-427F-4F7D-A3A7-07E3F52BAAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea88118dc378c6cff517224091ba046fa6fd69e8","datavalue":{"value":{"entity-type":"item","numeric-id":3426203,"id":"Q3426203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2cf638ecb1d69c21992702490b2269d6772c7f6","datavalue":{"value":{"amount":"+0.8050317764282227","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":"Q3201745$ADF88CCE-8288-438E-BA43-1DDCC0A42CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e5490b38434de3b435df6589b6730899e383685","datavalue":{"value":{"entity-type":"item","numeric-id":5096194,"id":"Q5096194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3842d3b50c032fe88fdae26cb171033c5e20ac38","datavalue":{"value":{"amount":"+0.8049496412277222","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":"Q3201745$825E5CEA-260C-4CF3-9093-E8CFCB103D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e28e78041c57fdb47dd660f84f78a36a8f808","datavalue":{"value":{"entity-type":"item","numeric-id":4036289,"id":"Q4036289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6d073a92d411f80423661a3a8064fc19eb3b88","datavalue":{"value":{"amount":"+0.7922936677932739","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":"Q3201745$51A58AEF-FC39-4DAE-B278-07B9D9B41DBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3201745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3201745"}}}}}