{"entities":{"Q4945790":{"pageid":6975372,"ns":120,"title":"Item:Q4945790","lastrevid":41853120,"modified":"2025-05-09T02:13:54Z","type":"item","id":"Q4945790","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424541"}},"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":"Q4945790$0002C35B-6A12-4028-87DF-D6B8CA76094F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2162fcee91ed438ea3445dab7891c73be35afa08","datavalue":{"value":"0944.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945790$9B9E60DC-C50E-4490-BD53-40F728270123","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb6374e2e78c68eaa0bda7492a522d6b0369ec77","datavalue":{"value":{"entity-type":"item","numeric-id":4427295,"id":"Q4427295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945790$FC58D4C7-BB0E-4FB5-8984-1773A8A75507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8405e8adba7bde63fd3c30701f38cf9f325c7881","datavalue":{"value":{"entity-type":"item","numeric-id":4945788,"id":"Q4945788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945790$90AEC48F-877D-4B32-878D-1C446875AD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67e778a2d709c0f9d751fa9710adb0aedcb2cb76","datavalue":{"value":{"entity-type":"item","numeric-id":4945789,"id":"Q4945789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945790$AA479F33-1C31-4071-A659-5588FA1AA27A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f824e8df8660a01a22c6ea772f84f035aa08b14a","datavalue":{"value":{"time":"+2000-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945790$87E15B56-3111-4164-94C2-98D0A89A1010","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945790$54409E3B-A81B-4CA2-8AAD-6D156E9E195C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945790$CB7A0ECA-D391-4AC3-811F-1562746CC6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945790$E060B347-7E30-4C73-84C5-065A2B68F64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945790$A48AE47D-F8B2-4258-BBEC-EDD92B5CD1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945790$60F72679-81C9-423B-86B9-8C90385B8C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945790$041878D3-FC05-4B87-AABB-27E491A33D26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f782f77b7d15fbc130942ecdc2bdae99cb8cf46","datavalue":{"value":"1424541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945790$C8C74AEE-9D9E-4A4A-94D6-8047EFA7066A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945790$A67EC1CF-4776-4DA9-A93C-A5EABFA62F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017dae97b374e0d578fe84fef539091ec1347fa4","datavalue":{"value":"temporal logic of concurrent objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945790$C2007CD7-A05F-48D5-9CF3-21DB75923C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945790$25E08FFC-638F-4AFD-BC3D-C22204087091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945790$6CEA97C9-7A2D-4C5D-9FC6-2ACE67458278","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":"Q4945790$E412C33D-0915-40C6-B046-4D4FE622F133","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abea9dddd9752f0f29a15676b0ef510b84f403ac","datavalue":{"value":{"entity-type":"item","numeric-id":1130239,"id":"Q1130239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47d07f5c73ae635c5b5cadefcc5095892bd7405","datavalue":{"value":{"amount":"+0.8959497","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":"Q4945790$1C894B22-571B-4D95-A2D2-B3EBA314AA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b38c679399fb008c42100d30e8871bfcdbebff","datavalue":{"value":{"entity-type":"item","numeric-id":5696557,"id":"Q5696557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93cf873f100d72a886df3e2419779703352f49b7","datavalue":{"value":{"amount":"+0.8941393","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":"Q4945790$E1FE8CA6-BECE-4FC2-AE0F-95864C313719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadd68b4ab1a48006e3e4897280f66063f777378","datavalue":{"value":{"entity-type":"item","numeric-id":3814798,"id":"Q3814798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a24c0b9f5a61fb11decfcb50f7d781b5222afec","datavalue":{"value":{"amount":"+0.89260733","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":"Q4945790$EFE895B7-1C5D-4E7A-8718-A46EE0E2890E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7215f146c06bd245381c2c5131856b53ae73eed","datavalue":{"value":{"entity-type":"item","numeric-id":4762660,"id":"Q4762660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffbdef1b10b8af9d34e98ea59f34d2f7bdcb8617","datavalue":{"value":{"amount":"+0.887872","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":"Q4945790$27E9ECCC-C56C-43A8-84AD-5BAD2234841E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4fee3f52920a8fadd8a64a81e90da53fea35785","datavalue":{"value":{"entity-type":"item","numeric-id":4035260,"id":"Q4035260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd6ff86ea6adbb78e1e2f1e2ea5157c36aca536","datavalue":{"value":{"amount":"+0.88501716","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":"Q4945790$8805AEEF-13CE-48DB-B0D5-DEBBC02ED563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b79b76ac4de343baec197f54399d952050eff2a","datavalue":{"value":{"amount":"+0.8838783","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":"Q4945790$18169B1E-9006-4E74-8E5D-A91822FA7E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3e3026b100c6ebe7f5391a3ce519de802324d9e","datavalue":{"value":{"entity-type":"item","numeric-id":3338212,"id":"Q3338212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37469b5f7e347830aedb173eaf98cb98a98a7abd","datavalue":{"value":{"amount":"+0.8828637","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":"Q4945790$0E35185E-166D-4B6D-AB5F-5DA164B576A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59872f683cfba1ac285ff4193f1669feffbb57e","datavalue":{"value":{"entity-type":"item","numeric-id":4518431,"id":"Q4518431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e44c63ae705ec4cc41f4f29790b1cd2d31fb75e","datavalue":{"value":{"amount":"+0.87913287","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":"Q4945790$EF52789E-ADB8-4365-8EDD-F2894313361C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945790"}}}}}