{"entities":{"Q3729994":{"pageid":5759900,"ns":120,"title":"Item:Q3729994","lastrevid":50825810,"modified":"2026-01-15T07:52:57Z","type":"item","id":"Q3729994","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3960965"}},"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":"Q3729994$B0E18B2A-47BA-4820-AAF5-C32796F52395","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f76216780cabed8e56d2b9691fb172b9b9ca2932","datavalue":{"value":"0596.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3729994$C964D090-8DB9-4C1D-AC2E-9296364051EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3729994$043D0421-D11B-4626-9019-2C35CE56232D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3729994$BA734773-6838-48F2-961C-74104F417142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3729994$160F2E33-45B4-44DC-9500-DD95DAF1FEC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5369ff24421093644da1709107796ee42786210","datavalue":{"value":"3960965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3729994$47E2E9F0-4A16-42B9-9D7F-5FD1497EC4C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deb613a193e31ffbd9583e234b95dd0799703b05","datavalue":{"value":"Tokio","type":"string"},"datatype":"string"},"type":"statement","id":"Q3729994$BE6F058D-68BE-4465-B283-89B1151574AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d871e5b5013785318fe319c59a108558c6ab4f11","datavalue":{"value":"temporal logic programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3729994$257D4BD9-FFAB-4A0A-BC52-E07DF8260190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3729994$F62C94F4-32E7-4541-B4E4-1FD26F217CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2abb2c292b64daad5028d2ffcfd6257d49d6cd","datavalue":{"value":"specification of concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3729994$C5369F64-7C11-41D9-8C8F-63F288DD98B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b00c383418dcc7f93ccd72284943d81460b3f068","datavalue":{"value":"linear time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3729994$412F5AB3-1022-46D0-900F-2CDB6245452A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3729994$DD76A4C1-6E13-4B74-854A-783451F3A8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27d4cd8a8e0973bf179f417f5801731925ff5254","datavalue":{"value":"Tokio compiler in Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3729994$A46C8793-EC31-455D-9F4D-A4AEE421D91E","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":"Q3729994$E758B9DF-268D-47AC-B0C8-B3FBEC5409FF","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":"e01048b365661d6d6fd3c7b920f0930e7d2d0102","datavalue":{"value":{"amount":"+0.8363410830497742","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":"Q3729994$44C8D467-43F8-4AFA-B491-05A92C0C7C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b72c4c0790037660972bdea1de418440e1d2971","datavalue":{"value":{"entity-type":"item","numeric-id":679342,"id":"Q679342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12cb3e0eb0d5945098c4e0731222cdc2fb82ce84","datavalue":{"value":{"amount":"+0.811311662197113","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":"Q3729994$F700C581-6C4B-45C6-8776-A31C087EC1D1","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":"0b5f1417953ce6535eaea461df9f2a4678af6e6e","datavalue":{"value":{"amount":"+0.8094780445098877","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":"Q3729994$EF57A1AB-2B5D-4CCF-A2C3-1EFD72873BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de53c3f9ae439e0a327dc8d16cd840a0051b957","datavalue":{"value":{"entity-type":"item","numeric-id":3813270,"id":"Q3813270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42758e1aafc294975b6d079d587450b1b78b0857","datavalue":{"value":{"amount":"+0.8092305660247803","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":"Q3729994$6D468792-939B-4EE8-B5F2-B0E15B6D0B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978a42e60a73248c917509380ff8f108c964b533","datavalue":{"value":{"entity-type":"item","numeric-id":4733442,"id":"Q4733442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd49382a314089b17c0023959d9ca36a2d7dffd","datavalue":{"value":{"amount":"+0.8005260825157166","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":"Q3729994$3CF9CC48-C501-46CA-9B6A-A7F7037D07E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3729994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3729994"}}}}}