{"entities":{"Q4366597":{"pageid":6396196,"ns":120,"title":"Item:Q4366597","lastrevid":46510905,"modified":"2025-12-24T22:47:47Z","type":"item","id":"Q4366597","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1090097"}},"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":"Q4366597$03E482F1-4AD0-4906-8E59-096D88AA4309","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44ca33e1c03d66b98779ceefb85f9817845147f2","datavalue":{"value":"0885.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366597$BCF04967-398A-4A27-8793-82827E91CBF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63eb6b049fbc46613284af3c4d431f09b419803e","datavalue":{"value":{"entity-type":"item","numeric-id":2761738,"id":"Q2761738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366597$0D0E732D-D38F-4BAA-92B7-7DF3CEB4A39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e1a71f55fbf86230614df7fdeb17c6acab3e190","datavalue":{"value":{"entity-type":"item","numeric-id":236281,"id":"Q236281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366597$D230D3B0-885C-486A-BE0E-DEDD1B47DA8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0748302cc740aee8abe74b7b59fd41a83141ef0","datavalue":{"value":{"time":"+1997-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4366597$CFB100A8-C6A7-4E0F-B86E-C87761F74770","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366597$D8FEF0E3-A113-40C5-96FE-9963139C097F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2db86db058695a18a503821e803788140477c800","datavalue":{"value":"1090097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366597$D00116B8-6893-4885-B975-E113A4733744","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74008dbd585de67fd419cc047e39079320e283cd","datavalue":{"value":"reasoning about actor programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366597$0A8B38B4-DA45-4D6E-863E-17D4E93264C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366597$F284E11F-E9CD-4DA8-96BB-60EC273A9C3D","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":"Q4366597$C27BEC0D-F67F-4067-A8EA-FB86AE69C150","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77099894e6a2a274fa50a6addbdb019b2607c432","datavalue":{"value":{"entity-type":"item","numeric-id":2761739,"id":"Q2761739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4ea16966dd3e6fef1bb2b1a6cb595ee47ba4b9","datavalue":{"value":{"amount":"+0.9041421413421632","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":"Q4366597$C38A0C2B-B92C-4DDB-AAE0-C36814A16F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbdf5b283ffd339c2de17c1940cc2b7ed0c36f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4496266,"id":"Q4496266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917ffbda9884d3be5cff713f3d00a9810ad94110","datavalue":{"value":{"amount":"+0.7853028178215027","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":"Q4366597$4B93874F-4DAE-4C68-85D7-3D2F9A784AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433df4c69134f091e7b4142ee0ccaa04fce18e50","datavalue":{"value":{"entity-type":"item","numeric-id":5902543,"id":"Q5902543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88256b9895279c53188783eaa986a28024bb7731","datavalue":{"value":{"amount":"+0.7740829586982727","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":"Q4366597$720D314E-A79B-4D0D-BDDE-9BE2FA21E8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d231012f3a3696e7406660a54ee3e9ff3b03145","datavalue":{"value":{"entity-type":"item","numeric-id":4222865,"id":"Q4222865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b6ec0e1a5ef1f29a6901278fdc6b9df5f4f122","datavalue":{"value":{"amount":"+0.7703336477279663","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":"Q4366597$5A9534C8-7A7A-4754-A79A-EDAAD18EC914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf68f542a942a2b2330ea5a9deb99ac829ccd337","datavalue":{"value":{"entity-type":"item","numeric-id":5277712,"id":"Q5277712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199a146c64a51bc6eb951fc95934e95780880ee2","datavalue":{"value":{"amount":"+0.7616212368011475","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":"Q4366597$2765B35F-4247-4FEE-B2E2-1C266AB9E391","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4366597","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4366597"}}}}}