{"entities":{"Q5190789":{"pageid":7220361,"ns":120,"title":"Item:Q5190789","lastrevid":41800872,"modified":"2025-05-08T12:23:30Z","type":"item","id":"Q5190789","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587282"}},"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":"Q5190789$552BDC2C-4326-42E9-9281-BBB8451C9C92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4161e345965d7dbeab05add6c8ceb68feddaece6","datavalue":{"value":"1193.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190789$6E4AEBD0-9870-48BB-8EA4-B9B9AF6CF9F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cb34b689272b7ed2b3d64b9cd30db50c0518a8e","datavalue":{"value":{"entity-type":"item","numeric-id":404263,"id":"Q404263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190789$0FF0C9CE-60F6-4028-9CFF-FA06CB145183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7c5ae506eb8411e23825d0ef2e8772007b32369","datavalue":{"value":{"entity-type":"item","numeric-id":1062766,"id":"Q1062766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190789$DDE2EC21-E4F5-421F-BE1F-DC8C3E1E5E37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d60ea8f72fb34c12d98efcbb4ab2f5f6bfd76074","datavalue":{"value":{"time":"+2009-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5190789$A62158DE-3527-4C5D-BE77-6535A275F1FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190789$67A3D855-9001-4682-AEC7-0CBC3C620906","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62792b2c70f1296d8f57c1040531859768cb51de","datavalue":{"value":"5587282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190789$52EA28DA-885B-4D63-9C6F-B91A32E67DC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190789$38612B9C-3447-48DE-9F8F-4A869B11AF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190789$06C3C1AD-2BBC-41DF-ABB4-1DBA793EC591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190789$743455E9-DB06-4DE8-BFC6-BD4CA0396774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e74f2cc884124fc77033ed7440a07d17ce55038b","datavalue":{"value":"process graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190789$A30A1396-9FA8-4E46-8F01-6C242349F71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb14b4f49329143421a6af43211c537fff48d31","datavalue":{"value":"proof-system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190789$734289FC-1133-4DE4-9E9D-DA1EEE0AADC3","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":"Q5190789$9D4C5192-6D90-43AF-892F-78BAB9A5478E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469cfd6f7b35e21636298c35f32fdfdfeceb184b","datavalue":{"value":{"entity-type":"item","numeric-id":4251927,"id":"Q4251927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d73667ac786c0753f96be660375b2aedc4a59edc","datavalue":{"value":{"amount":"+0.90208656","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":"Q5190789$CE9672AF-C201-42C0-AF66-5378C3F533CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8431ac478ad54a4bbd8929bdf45fb44eb6f68b","datavalue":{"value":{"entity-type":"item","numeric-id":2237336,"id":"Q2237336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e50070ff64325adbbce0d30adaa9267434247f","datavalue":{"value":{"amount":"+0.8980078","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":"Q5190789$062F7B39-FE56-47A9-981F-A73387E68A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c1a7680e7f73ce02e4c3cb29d850db36f407c9","datavalue":{"value":{"entity-type":"item","numeric-id":2996139,"id":"Q2996139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f777cc5d075e0834a7cef1d6edc73e9aa76f95e7","datavalue":{"value":{"amount":"+0.8945023","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":"Q5190789$BC1511BF-59D1-42F0-9C0D-E5712206EEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe66d108acf61f4511ad665cf29b91b5ea202b94","datavalue":{"value":{"entity-type":"item","numeric-id":685411,"id":"Q685411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda36c13e6be5d4d26a7a72f7ff8c5f8185a553a","datavalue":{"value":{"amount":"+0.8907811","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":"Q5190789$E642BFAB-199C-46AA-B82B-2EF36B276410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15432f89a9361d534681db843585c301b284627c","datavalue":{"value":{"entity-type":"item","numeric-id":557788,"id":"Q557788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569409b324a8bdac699972404e86b4263c72f765","datavalue":{"value":{"amount":"+0.88569814","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":"Q5190789$1EBAF515-3C41-418B-BEDB-AA3DEEE1A045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45992fa5b370198892ecb9599ef930f55263f26a","datavalue":{"value":{"entity-type":"item","numeric-id":1675792,"id":"Q1675792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05933aa252469d1d6b0bce4b4176355923822ae0","datavalue":{"value":{"amount":"+0.8831343","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":"Q5190789$B0F7AB6D-9015-4800-8437-87B235695FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29bf0e339e00987ef66f21e37b307887948e9467","datavalue":{"value":{"entity-type":"item","numeric-id":5283396,"id":"Q5283396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e020ac9dc9d151e4e5ca41522df9a34f1c066f5d","datavalue":{"value":{"amount":"+0.8764323","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":"Q5190789$F482D330-89AC-4779-8F7E-CA21B915DC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0ac95be1aa09afede1bad1478e79660e4bfcafd","datavalue":{"value":{"entity-type":"item","numeric-id":5411462,"id":"Q5411462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9075d5832b069c55a77b94cb86bca137b50e87dc","datavalue":{"value":{"amount":"+0.87466097","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":"Q5190789$9D7E8CB6-0B21-49CE-BE8B-1822792856EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb36327b19e2de87448d0b99c90a7a4959155fe","datavalue":{"value":{"entity-type":"item","numeric-id":3507553,"id":"Q3507553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab010688149cdd84eb30cb2ca9041d61cd7296e","datavalue":{"value":{"amount":"+0.8737996","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":"Q5190789$0A7541E5-AB23-44EC-BED8-EE12A06D9C56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5190789","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5190789"}}}}}