{"entities":{"Q1181723":{"pageid":1192472,"ns":120,"title":"Item:Q1181723","lastrevid":66439287,"modified":"2026-04-12T10:04:48Z","type":"item","id":"Q1181723","labels":{"en":{"language":"en","value":"Programming in temporal-nonmonotonic reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 28722"}},"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":"Q1181723$21B27922-9C9C-4A1D-BC1F-FE5B9EE7554A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf4d31292ed163034e2d4b887bca8d1ea5a6c246","datavalue":{"value":{"text":"Programming in temporal-nonmonotonic reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1181723$9CF0A7E2-F6CF-4E72-806A-7F658694A313","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"097e1a5cbf190e1270fe7b88d722f6385d7c48bd","datavalue":{"value":"0744.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181723$801AC1E3-CC73-4293-B393-D2FBDC72306D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c11e93b70c51bac043dec18a0c63418685dea39","datavalue":{"value":"10.1007/BF00249021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181723$A2EBF66B-AC19-4B52-846E-1883D1A77893","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acad781715ce669706a7cb1cbd5808444dc582a6","datavalue":{"value":{"entity-type":"item","numeric-id":1181722,"id":"Q1181722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181723$639F3F36-79E4-4356-B0B7-668A73E5A340","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181723$3F415E61-B2E3-4697-935D-7A69C8F3D8A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1181723$DE2E7E84-DE9A-4E52-B58A-354B8633B9F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181723$7EDA93C5-075D-4752-8C52-14AF3F6731D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181723$A8F62C7C-0089-48E0-9C1D-06B7AB730925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181723$5F563E0C-A417-4AA4-A1EC-DE7A45FAEC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181723$6D21702C-4A7C-4632-93A1-C149F621FA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181723$F88DB409-5066-44F6-A388-239CB58092D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1418c0384de93cc1f71a504453ac80c496f624c8","datavalue":{"value":"28722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181723$6FD576DA-0E7A-4425-8CBF-0AABF38D0531","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f5cfb776d17ef51ff038c377d9a23be8ef6a46","datavalue":{"value":"compiler for TN programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181723$5DC5EC3C-CC46-4790-9F01-446389951449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181723$1342EEBB-6514-4781-B9FA-589111CC02F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181723$94494661-CC68-49DF-B3FF-AB5DA860CBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181723$A9178398-AAEE-4CFF-BC68-8E6593DFED30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82bd0073b11b2775b307fac937bd139cadbbbcd1","datavalue":{"value":"temporal-nonmonotonic reasoning language TN","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181723$2E741F34-1862-4A32-BE87-308047F52D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b444b76e44484165189fe310421b5af57c2dc411","datavalue":{"value":"algorithm for the programming language TN","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181723$25192F22-5DB5-4286-A42F-C68A9EB579CF","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":"Q1181723$88066E2A-59DA-43EA-9B49-C7BC14CAAA7A","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":"Q1181723$6CD649B5-75D5-4E64-8588-216669B8E03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181723$2689D032-03C0-4ADB-B7FE-4507F2FD94BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181723$A0A06496-5107-4EF7-A317-8FB7E5ADECB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b38e00f9ec1f1ad95bd5a593d1dbecc11889a11","datavalue":{"value":{"entity-type":"item","numeric-id":1079962,"id":"Q1079962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181723$F0FC10FA-392C-4E63-B0E5-E9639B4C525B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c999a03128137cbeac2feffe55e854e8d5a76471","datavalue":{"value":{"entity-type":"item","numeric-id":1108819,"id":"Q1108819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181723$38EBC0C7-0868-4C5C-BF00-5998DA5ADE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181723$45DB1929-7E2C-45ED-8C46-05A80331740E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94855211e231eaafec4a6b9936fa50c3f6c921ce","datavalue":{"value":{"entity-type":"item","numeric-id":3933791,"id":"Q3933791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181723$552FF3E7-6D59-47FC-B69D-89C661982004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afaa345025838dcb1b495a4fc22195609b12731f","datavalue":{"value":{"entity-type":"item","numeric-id":1823654,"id":"Q1823654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181723$2383B114-57DB-45CD-98C9-7C8610EABB8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44304d3a468641e52095558ccdc2a76f651ef729","datavalue":{"value":"https://doi.org/10.1007/bf00249021","type":"string"},"datatype":"url"},"type":"statement","id":"Q1181723$3729EF3D-48B9-40F4-A311-DB8AF151EBC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce33df9c0828723f6992ee7303fa650c25835e5e","datavalue":{"value":"W2006013694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181723$65ECA34D-80F0-4062-855F-63EEDF71595D","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":"c50ec07b7f8ed0bcd7b7f30fd7cc73513b1f4abc","datavalue":{"value":{"amount":"+0.8268434405326843","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":"Q1181723$41E985EC-4F2B-4550-AA2C-9C94B3852C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4200ebfa4f1f91bad240865826b5557c025dc92d","datavalue":{"value":{"entity-type":"item","numeric-id":4004424,"id":"Q4004424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fbf0f34c465a87eb888cde684a1a3c26fbdeacd","datavalue":{"value":{"amount":"+0.8129146695137024","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":"Q1181723$8763578C-263E-47FA-862D-C1FE1B1EEB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ff50445499446a3d9a93b423163764956180b4e","datavalue":{"value":{"entity-type":"item","numeric-id":679335,"id":"Q679335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9825e6ea49d435d733d32f2537654716060591c3","datavalue":{"value":{"amount":"+0.8128323554992676","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":"Q1181723$963DBA9F-63A3-4C69-97E2-3B38381DF6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7efa8a4477ca5c7a5307c26e22f53dd279fc197e","datavalue":{"value":{"entity-type":"item","numeric-id":4275255,"id":"Q4275255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287ed49f4763b2a8a02330a5c27a74733607b4af","datavalue":{"value":{"amount":"+0.812770664691925","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":"Q1181723$2E6A2D79-B434-42AF-AF49-5FFA0A6BF7ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programming in temporal-nonmonotonic reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Programming_in_temporal-nonmonotonic_reasoning"}}}}}