{"entities":{"Q3358716":{"pageid":3369421,"ns":120,"title":"Item:Q3358716","lastrevid":49527742,"modified":"2026-01-07T12:24:44Z","type":"item","id":"Q3358716","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4210118"}},"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":"Q3358716$455787D8-7122-45CD-8F57-DB53DEC86273","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13d581106786478e9db38974d7ba63b6ced07d42","datavalue":{"value":"0732.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358716$4F0EA618-F548-46E9-9595-045666813C10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358716$46341DEF-E618-466E-A297-7E5CD72A6555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72039656185d0ef8eb3f9cb23879b2b5abb28d22","datavalue":{"value":{"entity-type":"item","numeric-id":530216,"id":"Q530216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358716$F9F6D95F-6125-416E-A992-9DFF43C749A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3358716$5E0440DA-8726-4EEF-B2EB-9E58399E3C7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358716$9A1DFCED-D516-4EB2-AE8C-4A35FE8957EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358716$26A5CFD6-F0B8-415F-9F6E-A6043BB7954B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c97850835b8dc508ecc8febeef80161c0119f61","datavalue":{"value":"4210118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358716$CC1F51CB-00A2-4211-9B45-C0B0AE46F4A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358716$0F25758B-7A4C-4FAB-8B03-54425CE0E65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358716$0881A58D-86ED-44B9-B34A-3742FDDC3588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358716$9BC0708A-45FD-4504-9756-5C17D0BC4CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358716$21923AA7-ACEB-4A20-A9F9-416CF8EAB60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c3dcf4ddc0f83b1caac58129d0f448c5bc99e16","datavalue":{"value":"partial ordering observations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358716$40FE55B1-F8F0-4665-BE87-DD922AD331AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3dd6635b62faa4e7b5d1b8404649fb6cda171c3","datavalue":{"value":"interleaving approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358716$F7549BB9-CFFD-497B-83AE-AC2014FA59D6","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":"Q3358716$878DB5F0-F0F8-4637-B52B-35BC4271A05A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80dff32e03f11cd2e067fc4f19317f0fe7cca91","datavalue":{"value":{"entity-type":"item","numeric-id":3584927,"id":"Q3584927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc91fb5e30a4306873d7940efbc2399096788cf5","datavalue":{"value":{"amount":"+0.838347852230072","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":"Q3358716$9FB71521-2E30-4253-B373-76B0689739EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e634edac656c8abd407fda4f697b3b47f629581","datavalue":{"value":{"entity-type":"item","numeric-id":5501929,"id":"Q5501929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a974b103277d28c0c99525b999d57201143c91","datavalue":{"value":{"amount":"+0.823954701423645","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":"Q3358716$2C995F19-1416-4705-9009-9475DCE77840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a0d891e54ece1131716e40677919a9670de3cbe","datavalue":{"value":{"entity-type":"item","numeric-id":1198052,"id":"Q1198052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5796483bf112d0bd5f92c77390f5fdbb46a292cc","datavalue":{"value":{"amount":"+0.7878744602203369","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":"Q3358716$1DA0FEA2-83D0-4271-84FB-E88EBBBBC9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3745f18a99943132d8f211d6d7a304f23b3c2fde","datavalue":{"value":{"entity-type":"item","numeric-id":4941937,"id":"Q4941937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5796483bf112d0bd5f92c77390f5fdbb46a292cc","datavalue":{"value":{"amount":"+0.7878744602203369","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":"Q3358716$EA5021E0-5EC0-4833-822D-D3CC33E51349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7db0016ebee03f35aa9e571863de2983168f63b","datavalue":{"value":{"entity-type":"item","numeric-id":4281659,"id":"Q4281659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f55fc0a63d9017ee5f1d6b5e22b4981ccaab5b2","datavalue":{"value":{"amount":"+0.7866069078445435","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":"Q3358716$55C70B67-BE4A-49BE-8F16-51112DA3F2E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3358716","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3358716"}}}}}