{"entities":{"Q4907860":{"pageid":6937439,"ns":120,"title":"Item:Q4907860","lastrevid":51657278,"modified":"2026-01-19T07:22:09Z","type":"item","id":"Q4907860","labels":{"en":{"language":"en","value":"Chop expressions and discrete duration calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138800"}},"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":"Q4907860$2264331A-4398-4D2C-B1A2-A71E6C093BC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"908904416fa6b40fd6be5d05c4a214c06f2cecc6","datavalue":{"value":{"text":"Chop Expressions and Discrete Duration Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4907860$27723E4E-2096-4E96-98C7-FD8ADEC97D96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb02de44fd4f47a1af50e0a573756c8f4a232d51","datavalue":{"value":"1256.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907860$7118FE1B-F087-42F5-B158-F5113F178B61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f4cdf9d988860008a46ea9aa8de1f5055399d9a","datavalue":{"value":"10.1142/9789814271059_0008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907860$3DAE99D4-C352-4B5D-9DDF-B8C154A12753","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"104849949df76f39cd96d7a5c92a5f9033162b99","datavalue":{"value":{"entity-type":"item","numeric-id":2821701,"id":"Q2821701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907860$3C6C0C3D-4A86-4C19-ADE7-242225381741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebecdc8963b6629e72067e9f36e75100892dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":673874,"id":"Q673874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907860$C21905E9-BEB8-4CB3-B2F5-1CBB4368ECE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aeebf9bd4378e6f764c1e2d0c61fa01519002d39","datavalue":{"value":{"entity-type":"item","numeric-id":4907852,"id":"Q4907852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907860$15D0A64E-8A4B-402D-ABE1-B88AD9C6384D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15ea8e6212b2d0b7fd67fe1be831418ddf2951d7","datavalue":{"value":{"time":"+2013-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4907860$2952B59E-056B-4FCB-9D6A-05DE018762C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907860$91724D0D-34A0-4571-B042-0BF1C637B933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907860$3C9AC91C-D8CC-4E19-8F85-4BA1F14B7C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907860$7713333A-AB07-41E3-913A-CAEBB9507CF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d8c360f3c139ab7257b8f9e65a73cc914674d4b","datavalue":{"value":"6138800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907860$475B1DA1-7FC2-4EDC-B242-2ED808702D61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a818e712f37472ee23907e714bdfe197470db68","datavalue":{"value":"Discrete Duration Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907860$79086FC4-5FCD-408F-B80C-4CDD87DA33E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b5398a35baa2d9e8e392178e6d22f14c220a1c9","datavalue":{"value":"discrete timed behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907860$DFAC1A64-4FED-4EBD-B59F-FC22E76D1F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c72b442367ff78f40fe7bd8b80bb9195ccb9be77","datavalue":{"value":"extended chop expressions with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907860$1C90AA4D-0DA0-41E6-B19F-D34AB2F2A575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7cd0243b24a41f33305f1de4aabae930147454","datavalue":{"value":"Kleene algebras with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907860$43FD8F60-6C75-4D07-A213-2CE38AA3F36A","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":"Q4907860$11DB5533-32B4-4C69-919A-35F22FF782D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bcfd5ace66f88b3ce0f52a6b9ff5a2bf78bc5d6","datavalue":{"value":"https://doi.org/10.1142/9789814271059_0008","type":"string"},"datatype":"url"},"type":"statement","id":"Q4907860$9A1F6B25-0015-4630-ACF8-D470C43D287C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb5770e52af7d7db2c7fd69f6da66875b0db5ede","datavalue":{"value":"W2405408038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907860$7AE8EF22-4D96-4C5F-8F27-F3EF24A08832","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5837c91f5f49dbc914212271a8ff77f1021e18ed","datavalue":{"value":{"entity-type":"item","numeric-id":1882795,"id":"Q1882795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c87721325af41c4124248d260902de1097296b","datavalue":{"value":{"amount":"+0.7733312249183655","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":"Q4907860$D46AEF7E-49A7-4AB9-B6D1-6D9A8EE00537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33aaa3bb3097f04898b89d50f1f3ceb6cb05fbd8","datavalue":{"value":{"entity-type":"item","numeric-id":3196640,"id":"Q3196640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729bf0887c25829491782c550f0ca106ceda236e","datavalue":{"value":{"amount":"+0.7619453072547913","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":"Q4907860$71EF67EF-FE72-4584-B3E1-C73BED79B21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca496ebf51a6ef411a17c6192af5480a2b8611c","datavalue":{"value":{"entity-type":"item","numeric-id":5897790,"id":"Q5897790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8d3b26c3e9dc4fdc2284dc11ac309fbc03f900","datavalue":{"value":{"amount":"+0.7520589232444763","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":"Q4907860$15D11C42-7B82-4B1B-9720-9EBC30E1F334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edee5bb7be97188eee9c5616a994e197af0a67ea","datavalue":{"value":{"entity-type":"item","numeric-id":4222923,"id":"Q4222923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c9971c7a3d9760e6f1d8a02e5afd3ea553dbff","datavalue":{"value":{"amount":"+0.7411676049232483","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":"Q4907860$53EAD172-21BD-4B04-8CD8-89B7DCC076AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ace94e7267a49bc78d906a0d6de7adb4eb64d4c","datavalue":{"value":{"entity-type":"item","numeric-id":3564018,"id":"Q3564018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a3e8535b9a4ce05a5c181d8708cb7685b972235","datavalue":{"value":{"amount":"+0.7400516867637634","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":"Q4907860$E77604F2-D656-4B67-B4C9-D578CC8282BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4907860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4907860"}}}}}