{"entities":{"Q5945924":{"pageid":8122726,"ns":120,"title":"Item:Q5945924","lastrevid":47684530,"modified":"2026-01-02T10:29:38Z","type":"item","id":"Q5945924","labels":{"en":{"language":"en","value":"The concurrent, continuous fluent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1657935"}},"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":"Q5945924$3844AC6B-6B4B-4587-BF23-9C63D52CC669","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d53e51443fa77bd38a3bad438b5b8305bd493165","datavalue":{"value":{"text":"The concurrent, continuous fluent calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5945924$63CB225B-1FB4-405E-8560-587FDA04EE0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6da5a505cfffec9001b56c6fb9e3d9589d7d2710","datavalue":{"value":"0981.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945924$7AC1BA5D-1AD5-4981-A679-10E9E1BB0081","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd681f255e2e97b6610f1686c2f46f85d18f19e0","datavalue":{"value":"10.1023/A:1010558931274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945924$8E86A38B-C512-4545-A3BD-72EC18B34ED6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82441ec970bf6eb1a8e3fce48a62bed4f63c45fc","datavalue":{"value":{"entity-type":"item","numeric-id":208502,"id":"Q208502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945924$A8C659C3-15EF-44B2-9643-434B76E72A5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945924$5C4E8DB5-6DE3-41E5-A1C6-5CCF8C9475F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64c1f5c2d2acc8630c4745adbe761e7f69f976b3","datavalue":{"value":{"time":"+2001-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5945924$7D829E8D-5AC4-4AC7-BFB3-06327C706CDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945924$352322C5-D4DF-4069-B017-DB1B856AB529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945924$DB8CDCBC-B4FC-419F-803A-432A6FB2F759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945924$8358804C-E381-47FC-9E61-D52B0AF0E169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945924$7F5D7AE0-F833-4A23-90B5-8BE11B371993","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55c60264d04b8e1d7050d504182d27134148d7c1","datavalue":{"value":"1657935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945924$4CEDDF13-0479-4BAA-B0C9-44F46DDB1184","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"898ad71ee13e3e14c9d482d96b43934e9ca126fc","datavalue":{"value":"cognitive robotics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945924$C40A512C-EC82-4269-BCC3-5B7D1865258A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eee712f5493e3529f5d91554ac3bcb956b2a1781","datavalue":{"value":"fluent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945924$D9C0535F-47F4-49FC-803B-138D335C9439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d72f87071c033a7fc6394dc8a7c682569d4313","datavalue":{"value":"reasoning about actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945924$96863B8D-4FE9-436B-B4E5-589D578DE6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e500f91fd67c7832d18fb76099fd9c2364d1601a","datavalue":{"value":"state update","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945924$A9867374-ADBA-4EDD-9321-E11E7F82633C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945924$36274932-8B41-4ACC-9D8F-378F646A90EB","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":"Q5945924$8309F9EF-7DBC-4812-AF4A-052AAF0A9381","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80e505dd5fd891bbafce6f9dee6770e2bf4248e8","datavalue":{"value":"https://doi.org/10.1023/a:1010558931274","type":"string"},"datatype":"url"},"type":"statement","id":"Q5945924$C7B9A0A4-E436-40E2-83F2-2B94D66ED3CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4bc8bd1cfa45c978b21d89c3370d86dc1053f92","datavalue":{"value":"W1584985376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945924$0F0E4C41-91C9-403E-82F9-5F9802CEA44A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f93281f2a10c51b96c112163263581286fe0ad24","datavalue":{"value":{"entity-type":"item","numeric-id":2767100,"id":"Q2767100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae34df5658af54c30e9962b7426c8a551ad5d28","datavalue":{"value":{"amount":"+0.8297478556632996","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":"Q5945924$D31D6749-7FBE-46C3-A8B9-6CEB955E887E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3a3ae6170ffb4c3a76adb264073c8d9fd72282","datavalue":{"value":{"entity-type":"item","numeric-id":1606307,"id":"Q1606307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7616ded2fdefa698deb950e2be1834f1f6a3a9f0","datavalue":{"value":{"amount":"+0.8102660179138184","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":"Q5945924$93F42E88-5F9F-405C-A9E2-E8CC364D1460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec184d70ebbc0bc066c59f106de90094b973abbf","datavalue":{"value":{"entity-type":"item","numeric-id":1855238,"id":"Q1855238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c8b55f469cb6afbfd31737ad3ff2a88d93426f","datavalue":{"value":{"amount":"+0.7943776845932007","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":"Q5945924$29D9705D-833C-4C36-8B16-FCC870701D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52448f5e9e4fc36bc683f75190fd1822ff9469b3","datavalue":{"value":{"entity-type":"item","numeric-id":4530473,"id":"Q4530473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930940fbbf7484c9396fd697a75f6b6c24aa5215","datavalue":{"value":{"amount":"+0.794251024723053","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":"Q5945924$70675869-BE7C-44F5-A075-678BDC81BEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"505e1b5d6e8616d2f89b19ecc9506ca653cf0f5b","datavalue":{"value":{"entity-type":"item","numeric-id":3533128,"id":"Q3533128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6213e06003c500a5a2ab14ef777aec013fd00838","datavalue":{"value":{"amount":"+0.7758615016937256","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":"Q5945924$B8CEB353-534B-4E79-B0BD-9E3C809D89B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5945924","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5945924"}}}}}