{"entities":{"Q3022009":{"pageid":3032725,"ns":120,"title":"Item:Q3022009","lastrevid":48503392,"modified":"2026-01-05T01:04:27Z","type":"item","id":"Q3022009","labels":{"en":{"language":"en","value":"A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2177793"}},"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":"Q3022009$380F37BD-646C-4C9E-BE66-332F55B6E164","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d8fcb8c63179869595c34841ebccb1d4d297ca7","datavalue":{"value":{"text":"A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3022009$FF8A8D2F-63A5-40F4-B5FB-F3CA05EEE747","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1502ddebc97c7d012aed80531f4ab2fc70d19ebf","datavalue":{"value":"1067.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3022009$944B5199-75ED-44D6-A91E-533F9E6BD7E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b2604ab67b7573aa5de20c29435fd05f4819ec8","datavalue":{"value":"10.1142/S0129054104002509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3022009$20A325D2-D0A0-468F-B1EA-AE810ADA8301","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc344ffb9f54d04a2fdd2418198db129910e72b1","datavalue":{"value":{"entity-type":"item","numeric-id":169898,"id":"Q169898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3022009$68AE179B-1993-4AB3-8D3F-8D6178DE3D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eabe44788d95d3eeb614879e9f2cbd05912d1c01","datavalue":{"value":{"entity-type":"item","numeric-id":345701,"id":"Q345701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3022009$AC3ADCF5-891A-46B9-B0EA-2118AEE63D85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3022009$E628B8D4-DA4A-4A64-B72C-E7C6DB651B01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a415faf8a5f610a3108e7fd472916d58928f6763","datavalue":{"value":{"time":"+2005-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3022009$D09E25EE-5E3F-4AE1-A863-1AF9FCC92022","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3022009$BE8A4A08-200C-47F8-8D5B-DFD722846C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3022009$5EFE8076-1432-4C7B-B792-8BC706EAD1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3022009$32F790AF-587E-4E0C-A589-FB01C318E0E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1128a6b9f90ad0eaf1d9fa863043bc675091ac6f","datavalue":{"value":"2177793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3022009$3BD19FCC-72E7-4EBE-B784-214E26D62587","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c42c3187d81ec934fd1a13398ef45837e4e0d2f","datavalue":{"value":"temporal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3022009$BAD8DD87-82EF-4DCA-AC68-F8F072F9C131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcec466f29bac86724a6f68cbda2b87ff1504089","datavalue":{"value":"proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3022009$513820A6-F9D6-4B9D-A02D-15F6E733A87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b233c887dd94ecd19186a7517f258ccb36e4432","datavalue":{"value":"branching-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3022009$CCF555F3-8886-469D-A425-E24504904B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3022009$CE81E4BE-FEB1-47E2-84E0-C311A912E6AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f03ad14f8565d93112bf50bde5012e75c18a3f","datavalue":{"value":{"entity-type":"item","numeric-id":15444,"id":"Q15444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3022009$9609F772-7E65-40DF-AD61-07A768369A34","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":"Q3022009$3B20A345-BB2F-45FC-A1D9-C25D868132B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6f503f40624c3a67fde02595febb3d31b13ecd","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3022009$816A5AD4-7321-4597-88CD-1BE2F276B45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1bac099fbe4678082a91d992b4ab581e8ee2e8","datavalue":{"value":{"entity-type":"item","numeric-id":4421285,"id":"Q4421285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3022009$C7A0E51D-E59C-4D08-80FE-8D14E4D5D8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7606c781d6ad406039c8c58640d224c00121f984","datavalue":{"value":{"entity-type":"item","numeric-id":1128978,"id":"Q1128978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3022009$00D8AD52-C2B9-4ADC-AFA7-3CBADB3C40E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda474a51d2310c01c3be4f00d4f033cb121a90","datavalue":{"value":{"entity-type":"item","numeric-id":5929097,"id":"Q5929097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3022009$7EF9E247-87F3-4A4D-B402-2A4BDA85EB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f2c0095e4d0c9ebcf5a00ea01472ecc82a60ebd","datavalue":{"value":{"entity-type":"item","numeric-id":4036284,"id":"Q4036284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3022009$89238DA7-70FB-45D7-9CB2-7156F99B58E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c2fdcc6b7877d76530adbb7d38e89cbc708649","datavalue":{"value":{"entity-type":"item","numeric-id":679341,"id":"Q679341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3022009$DF39A284-62D9-451F-83BA-D59958E6F5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"053b1a46c07d5a4abe2af0578d89f0c0ae4211a7","datavalue":{"value":{"entity-type":"item","numeric-id":1575841,"id":"Q1575841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3022009$268C088E-65CB-443F-ABC7-0DCCFC650D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def5602bc03d6e934e80319cd78a066891ddcd34","datavalue":{"value":{"entity-type":"item","numeric-id":4876388,"id":"Q4876388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3022009$E1D5F96D-644B-4A1A-8968-515BF8C1F78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3197a703aa01df31e7a3196aec5857acf58a1554","datavalue":{"value":{"entity-type":"item","numeric-id":5952811,"id":"Q5952811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3022009$DE818E2E-B1CF-4BFA-9023-16213FA01C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83f8ec113eaf5868a07f1d428489aef79179687","datavalue":{"value":{"entity-type":"item","numeric-id":4719299,"id":"Q4719299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3022009$ED76CAB8-8613-4B6C-86F6-EA0728EF0626","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8930ce10de5d502a6ae831db68742f99f6e94b7a","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaae108f87f90c755687aab4ee56191826a93b6c","datavalue":{"value":{"amount":"+0.8522838950157166","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":"Q3022009$757B3216-C68F-4321-8240-638ECEA777A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c93d83bedb055c4f37d7902417154b1f1a6d9e","datavalue":{"value":{"entity-type":"item","numeric-id":4733441,"id":"Q4733441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1da4103053cbe273c987a742c751f0c49a9221","datavalue":{"value":{"amount":"+0.8174400925636292","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":"Q3022009$B100FF5E-7D87-4A79-A3C7-9B2839496D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b26f85e163eef0e706c2ff8782ef38bdfb150ef9","datavalue":{"value":{"entity-type":"item","numeric-id":4719299,"id":"Q4719299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e723596e959b1a516fe44a9f39b97bb911bb14","datavalue":{"value":{"amount":"+0.8076686263084412","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":"Q3022009$EA0C9C8A-7A61-4FBD-B333-C7DCFD8FFB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f634dace4bc0d4fac1c21846bd47c4aa550e4699","datavalue":{"value":{"entity-type":"item","numeric-id":4876388,"id":"Q4876388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e83990b91bb1c1863c8d9550dda9e876d4b4c21","datavalue":{"value":{"amount":"+0.7963300943374634","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":"Q3022009$C31ED158-0986-4D05-9BD2-0040CEB04EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0397c16d05660865fcc8040789ba222e8321fe95","datavalue":{"value":{"entity-type":"item","numeric-id":4421285,"id":"Q4421285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c15603196c130fcbf1f21e1d764e3520e7aa2b2","datavalue":{"value":{"amount":"+0.790502667427063","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":"Q3022009$CC757E25-E2D7-4F98-9891-0684003ADAB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3022009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3022009"}}}}}