{"entities":{"Q5045461":{"pageid":7075038,"ns":120,"title":"Item:Q5045461","lastrevid":54435590,"modified":"2026-01-26T19:49:29Z","type":"item","id":"Q5045461","labels":{"en":{"language":"en","value":"Local analysis of determinism for CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612654"}},"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":"Q5045461$FC74E372-1039-4B7E-9B09-217F6B50DA52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25bb2047e58ef3bfa1c46c3a7e276c5667bc7fbb","datavalue":{"value":{"text":"Local Analysis of Determinism for CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5045461$FFA87011-EC36-49DC-A72F-5A8A98611454","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"580a1d4a359915cbb609a9eebba3772a22fbc5c5","datavalue":{"value":"1498.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045461$8812AAB1-1E46-4AF5-97D8-03FE9DDCE4D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a96f8516c1f7af809ca36b9e1cb3524a16f524bf","datavalue":{"value":"10.1007/978-3-319-70848-5_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045461$BF3616C3-A6A1-432F-A881-CF1FD010B8C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b10d64cbe259289a1321e961f157572e453faa5","datavalue":{"value":{"entity-type":"item","numeric-id":5045460,"id":"Q5045460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045461$2C73D5DE-ECB8-433C-8C04-F8184E970F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045461$CD2275DA-E837-4618-B617-C7FD867FD0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f98a6fdc4ebcefbbd3979701deb01ce817be9a62","datavalue":{"value":{"entity-type":"item","numeric-id":175412,"id":"Q175412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045461$CD90BA4A-B3E1-4734-AB8E-5B0176E00FA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045461$184148D0-B256-4640-94C6-7D511F2D6D4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5045461$1280D8E2-242A-4B3D-BDA6-9388EA0B0F02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045461$4951A7C6-0091-4888-AC32-4DEB3F544BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045461$9B0CDEF5-4478-4BC4-AB14-870506949DC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3aa61595621c350a9faf8c311e9b0a58b9c72428","datavalue":{"value":"7612654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045461$3AEF4BDF-4889-4BA2-91A5-F38EC755FDAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045461$63831C1B-AB03-4AAD-8C4C-79C92F81794C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"560176b9f90870250c4b94f96ff2cf2f7e622c22","datavalue":{"value":"FDR","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045461$721CE8B5-C189-486E-9034-A3EB50FA5B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afee417564209b61e3e00baf8c5b26c09ce9029b","datavalue":{"value":"performance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045461$04E555A1-1638-40B4-A03F-FF9C299186A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d0c4044b5ce8b66514340019aecd275cd3c18f6","datavalue":{"value":"experiments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045461$7773B766-A349-4F20-B4E2-D37FF8B1D16B","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":"Q5045461$E75A9563-D1E1-4E94-AA26-31B50FF8FFDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78793ff21fbe37d0831d1d96f56c2b353f0c305d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-70848-5_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5045461$153B089D-AC34-4BE3-B675-9FF2A13F4BBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7589806e49a69ca340dced50aabfb818c2723db8","datavalue":{"value":"W2767230972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045461$870B69C8-8951-4EC8-8E9C-E0F444ABA0FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368d9aead33be472d8e513db4038fdffb832c507","datavalue":{"value":{"entity-type":"item","numeric-id":1705697,"id":"Q1705697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48c4d35744fd32611d2d8d0bb4e30aea40247d52","datavalue":{"value":{"amount":"+0.695850670337677","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":"Q5045461$9F0B3872-1D11-4AF8-A444-2D7DBE671FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"528550b23c0c3914e47bb30008c619071e55d2d9","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1ea9f9deefe523263a6dd23cfb965deef0a64b","datavalue":{"value":{"amount":"+0.6913930773735046","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":"Q5045461$DA4617A8-5056-456E-9198-D772FF1D712F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38555ae3a8af67d4f8b10999fc299c9cb57c8b53","datavalue":{"value":{"entity-type":"item","numeric-id":868434,"id":"Q868434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c600f0055ac655015499e6bd0f938e5bbff61290","datavalue":{"value":{"amount":"+0.6905626058578491","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":"Q5045461$84A76669-3801-4E9F-AD4D-9E8BC1D13B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f068ff86d7554bbcfca76f1f9c0989e2795e89","datavalue":{"value":{"entity-type":"item","numeric-id":2418047,"id":"Q2418047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52101cf2a56789e5b218889ad0c0941e8c869dab","datavalue":{"value":{"amount":"+0.6902182698249817","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":"Q5045461$11901151-F444-4B2B-9237-597A179A3333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0bd5c4d55e1bef0623f528ccc48785143e87002","datavalue":{"value":{"entity-type":"item","numeric-id":1708716,"id":"Q1708716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18535aebfb8562a45012a1e9f14efd6f7fb1d71a","datavalue":{"value":{"amount":"+0.6892961263656616","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":"Q5045461$476FA933-2BB1-4F47-AC31-259043FF860C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5045461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5045461"}}}}}