{"entities":{"Q1340964":{"pageid":1351703,"ns":120,"title":"Item:Q1340964","lastrevid":68506653,"modified":"2026-04-13T00:10:11Z","type":"item","id":"Q1340964","labels":{"en":{"language":"en","value":"A semantics for a class of non-deterministic and causal production system programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 704958"}},"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":"Q1340964$47F01D3F-DCA1-44F3-9ABB-F0D130B3EBA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33f2837636ed0c13d011ebc50e2cfb67d3119d8d","datavalue":{"value":{"text":"A semantics for a class of non-deterministic and causal production system programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1340964$B3E580E4-41FD-4C9B-ADC4-A2FCFB36A03E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f76b9cd6b71c8e3c5b7f8256e8a55561d8cb66d1","datavalue":{"value":"0805.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340964$CF3E2884-9F34-4AAC-BE32-12E85FE8F3EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0692a2291244972478eb8e232e9f3bd072664fc","datavalue":{"value":"10.1007/BF00885764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340964$1481200C-088F-4DEA-8839-6A289596AACC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb12a0a12adcf2b67e80c52ee42c403faac0b462","datavalue":{"value":{"entity-type":"item","numeric-id":1328106,"id":"Q1328106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340964$CB86C64A-DD7C-47EB-A7A7-9545603448DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eab1476a2e2fb895fee7c32ebeeaf943fefa2b45","datavalue":{"value":{"entity-type":"item","numeric-id":1177926,"id":"Q1177926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340964$C884206A-CC7E-4BF7-B635-B2172EBA5198","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":"Q1340964$988DF209-E242-4ACE-AF27-5C863AA5E4DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89a5af496da52109cb9fd8ee43aa6e112a9ba241","datavalue":{"value":{"time":"+1994-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1340964$F479F114-923F-4A63-9390-07B298AF199E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340964$C0351170-86B5-4C2F-B63B-1455A5D3DB20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"001d4af9e7dd837a16ecd71488feb0dbdfff7a6e","datavalue":{"value":"704958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340964$53D8D9E5-390E-4930-92AD-B47C678698A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf902e8719aa3eebf5a6cd26c7824607d828acb8","datavalue":{"value":"non-deterministic production rule systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340964$77C40267-C8E7-4B42-946E-526418A74E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340964$88324E46-3C19-468A-97A5-535B04E55353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340964$52660BB6-1F3F-4D69-861A-3EBFDDC7CDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0455910bd255bbb8b513238c1f3706fe3d365ad7","datavalue":{"value":"disjunctive logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340964$12900BD7-2276-481D-B3DF-37EFACF116F4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"14f5ac364ea7bebbcdd59db5b1f14330f84c84aa","datavalue":{"value":"Q109585666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340964$C5C3111C-9B9D-4E57-BEF8-4D20421988F0","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":"Q1340964$222ACEB7-2AD8-4984-8686-CCFB1E69A680","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0dfb6b1586bb92c41952ba0c3b1ae5190e2183","datavalue":{"value":{"entity-type":"item","numeric-id":751799,"id":"Q751799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340964$5C4E7835-FF0A-4EE8-93F4-D6DC3EA87F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061c74acfe7ed299eeb2c95c750dc4bed6741a4","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340964$1F94713B-7D57-43C3-9D88-90EF433B1702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50664e9afd488126bb2d68ee9b0a92e9754999e0","datavalue":{"value":{"entity-type":"item","numeric-id":1354026,"id":"Q1354026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340964$C6A8CF6C-3121-4D01-A324-5C18C500C58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32aca09a46928a75cfeec41f3ed91ec0ce02dab","datavalue":{"value":{"entity-type":"item","numeric-id":4302819,"id":"Q4302819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340964$E2012503-4E54-4276-83FA-E88091094DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04dd8b4fde7110b3fe0344d885bcf56de9bb83f0","datavalue":{"value":{"entity-type":"item","numeric-id":3983044,"id":"Q3983044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340964$F592AFAC-A26D-4D91-A840-98DB7CF468EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1aed9af0b115c501efcd1e09a55330fdc38c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3939270,"id":"Q3939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340964$646B076C-2C57-4C86-A6DD-D912003C86BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a32bc0ef00c31c61a800b19fbaf8e0898507642","datavalue":{"value":{"entity-type":"item","numeric-id":3477931,"id":"Q3477931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340964$C8CB25C8-A493-4C95-BE02-ACC9BBBE769D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332460cbeb294015a8f58711538d8a310fd2e9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340964$251944D9-508B-4C99-A5F3-A5AFBBD1D8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"941a6ee140ad24bacdb13ebf3877d55556056519","datavalue":{"value":{"entity-type":"item","numeric-id":1340964,"id":"Q1340964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340964$04908964-54A8-47A4-945E-31FBB5427E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58faeedc46f8d6991a45b23d4a6dc4fc19e326b6","datavalue":{"value":{"entity-type":"item","numeric-id":4306398,"id":"Q4306398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340964$8B5FE5AC-2531-4897-9C50-675AB5206B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78d3674fce57ce2b038d3e0256f1d9a524615b9","datavalue":{"value":{"entity-type":"item","numeric-id":3798300,"id":"Q3798300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340964$65AED8BC-1FA1-408C-AE14-D1372479AEBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a15e546357f567e858ce4a1ee1445a40cc243e15","datavalue":{"value":{"entity-type":"item","numeric-id":4306398,"id":"Q4306398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e13dd4d83b78308f6856a80253565431e2e147b","datavalue":{"value":{"amount":"+0.8442285060882568","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":"Q1340964$B89109E6-7202-4E73-A700-3BE390963489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f916276d7d5c4793f71fa18d12d927e26b6e6e","datavalue":{"value":{"entity-type":"item","numeric-id":3698292,"id":"Q3698292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d44c80e02d7f0026fac2365f92565ec0013527","datavalue":{"value":{"amount":"+0.8207140564918518","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":"Q1340964$23842CA6-ACDE-43B4-83F2-0E0842C6ABAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa62f40c642974fa626d7272784fc1c6c5d704d7","datavalue":{"value":{"entity-type":"item","numeric-id":1924729,"id":"Q1924729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5c6c41b0324a17b46ab50b83be5a1dfbf16943","datavalue":{"value":{"amount":"+0.724733293056488","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":"Q1340964$B455E336-C898-4FA4-96FB-8EF46CBCF9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60706c3e7f76580ebae914508f3fd28c6d55158","datavalue":{"value":{"entity-type":"item","numeric-id":3341863,"id":"Q3341863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473c2f7cc94319a43f7718eef9d2e6f0d03a7ac1","datavalue":{"value":{"amount":"+0.7246376872062683","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":"Q1340964$CC7C80F6-0294-4BAB-A98D-77A1D5FFB4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ab249c1aa61056718dc4bfc57822e4c2659ef3","datavalue":{"value":{"entity-type":"item","numeric-id":756410,"id":"Q756410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9ff492304e23c7db1f347c40501fb983b4cd5c","datavalue":{"value":{"amount":"+0.7144613862037659","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":"Q1340964$B21FB115-6D6B-49A9-A9A5-1C25DA46316F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A semantics for a class of non-deterministic and causal production system programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_semantics_for_a_class_of_non-deterministic_and_causal_production_system_programs"}}}}}