{"entities":{"Q4036558":{"pageid":6066276,"ns":120,"title":"Item:Q4036558","lastrevid":55240852,"modified":"2026-02-05T05:29:49Z","type":"item","id":"Q4036558","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176729"}},"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":"Q4036558$F995522A-C315-4DEA-9401-7F5328160423","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a73ab90366d08e5ee07eadbec7e080ad3ed7d249","datavalue":{"value":"0769.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036558$E6102813-CAAE-4312-A0F0-3A17FD751725","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68f16bc588a14cf8a1841c177a5c562620a294","datavalue":{"value":{"entity-type":"item","numeric-id":234678,"id":"Q234678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036558$7C603831-4695-4DB8-A7BB-4D13BD723653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6cd5c3fc48ca92bfea6446c21e98e5e0e73364","datavalue":{"value":{"entity-type":"item","numeric-id":478387,"id":"Q478387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036558$12D523B4-BF47-4B15-A772-BDAF2C799B39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4036558$50A19236-271C-4AE0-9196-E8E03BBBB03C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036558$A945A9D3-88F4-47EC-91D0-D71B591B06CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036558$911632C8-E33A-4414-A37E-28B063624967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036558$65BA3C3F-B4EA-4C71-BC60-8018B631C389","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2463fffeb1e61ebf3c238e3a0f82c0e84652a15","datavalue":{"value":"176729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036558$1D3128AB-F2B7-4BA5-ADEF-942857A0589A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fc1b95ef59246f606d504160f57ee48fb71d62","datavalue":{"value":"model-checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036558$D3D8FE81-2A2D-4BD4-8B20-055A838DC9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e38aecf8dbc5b32b5ad5239f459b86a152a3d39f","datavalue":{"value":"fragment of the modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036558$B6A794A7-0FA7-4033-99AE-C398A82437D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1cd2d916f71caa5110dea0a1cc78be3497d9596","datavalue":{"value":"efficient computation of behavioral relations between processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036558$2CD86635-14BE-4A52-93AB-E63C0EC3C5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40953c2325db86cbab905851b0cf565a13fce3d0","datavalue":{"value":"fixed point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036558$A0311E5F-3BFB-4612-B69F-2BA8DB16CBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a0902519e7bf9898964f96c20601504f185244b","datavalue":{"value":"computing preorders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036558$6FD043ED-4037-4957-8832-B96E76BE8C09","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":"Q4036558$4FCCABD7-9DB5-4A49-9DFC-C2D8D3177FD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349f28a54fe11ea6c8fa090b6d91b605c7e3904c","datavalue":{"value":{"entity-type":"item","numeric-id":5890057,"id":"Q5890057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07af0673ff210b19dcd0e16deefde4df7c5a22c6","datavalue":{"value":{"amount":"+0.88282144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036558$ABB7F94F-B22B-4605-B8A1-5FA19150B3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c0268a3f20477692d0ced7678920fe48e5968b","datavalue":{"value":{"entity-type":"item","numeric-id":3321470,"id":"Q3321470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993d40cfac89077a270488ad983edd145220362e","datavalue":{"value":{"amount":"+0.8643174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036558$D2D13458-6F38-4496-B366-BD2C2A0DAF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f39a60e8e1c4e90631e0dfe2817cf820f2e1f0","datavalue":{"value":{"entity-type":"item","numeric-id":1005974,"id":"Q1005974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103ea2542396b9d27a6716e234dd0eaf035ff9db","datavalue":{"value":{"amount":"+0.8627054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036558$DBCD08B9-74A6-47B7-9DDD-CF163D6899E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5f1f03b3a837e70ab8273f6160d8c886989b42","datavalue":{"value":{"entity-type":"item","numeric-id":2453209,"id":"Q2453209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2473219fa28bdd2f02e1b303f61a60ec115c5a1","datavalue":{"value":{"amount":"+0.8597943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036558$038E1CB6-CF63-4476-AF52-AE40DEB12B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d2f86eca62e9117c9be39ba04f08ed51c8caa8","datavalue":{"value":{"entity-type":"item","numeric-id":2180531,"id":"Q2180531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10cc80e46a0c6d7061308f9213ab8bf27781c759","datavalue":{"value":{"amount":"+0.8583419","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036558$1D1447DA-6CD1-490C-B681-21EFD039E517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b7143a273517b76c9165bf6ae0c4bd9960ac02","datavalue":{"value":{"entity-type":"item","numeric-id":479004,"id":"Q479004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c3048c1799fde1e9aa5740c4a461462a00e3a3d","datavalue":{"value":{"amount":"+0.8564273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036558$9136B0C8-F586-4137-9F00-39B22C4F9ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c4d0e2059304034b96b44b85b383a4366400de6","datavalue":{"value":{"entity-type":"item","numeric-id":4859236,"id":"Q4859236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e03f9b2a2c6ffe1066d03e2e28ba3135312e78","datavalue":{"value":{"amount":"+0.8561661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036558$67AB5EB4-9561-4B8A-B203-37D59F639A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b7295fa56c9ff0ad14bdd781db3c86be96cfb43","datavalue":{"value":{"entity-type":"item","numeric-id":2117601,"id":"Q2117601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e21192e383052ea10caff87d9625d872872d41","datavalue":{"value":{"amount":"+0.85537136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036558$4ED47392-19C5-425A-AD1D-C68FB0447534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0278835f6aebdf8e578baad93385e1fc76cfd5eb","datavalue":{"value":{"entity-type":"item","numeric-id":5739970,"id":"Q5739970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c44b7c4da4c4177d273a00453bc56951814ccfd8","datavalue":{"value":{"amount":"+0.8546539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036558$0D09BEC9-B6D3-45BB-AA2B-FA301FC72B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045245196224f25a3d9e25562344321cc2ccfa71","datavalue":{"value":{"entity-type":"item","numeric-id":3476339,"id":"Q3476339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8741f2ed29e7701520f27a19809bfc4f5f354cc5","datavalue":{"value":{"amount":"+0.85271573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036558$9D31C185-E7F9-4D71-AA8E-FE43D749D945","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4036558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4036558"}}}}}