{"entities":{"Q4037381":{"pageid":6067099,"ns":120,"title":"Item:Q4037381","lastrevid":55922248,"modified":"2026-02-21T04:27:41Z","type":"item","id":"Q4037381","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177512"}},"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":"Q4037381$E1BF8BFB-3ED4-4513-924B-57DA393B2299","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b89e884163bc100da2e51aa490be62000f96f484","datavalue":{"value":"0765.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037381$B6F2EC05-5AC6-46A2-BE6C-416E62C38BC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f3a984beabc22332e769fad7e0cad02f7ca29d","datavalue":{"value":{"entity-type":"item","numeric-id":169677,"id":"Q169677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037381$C5BE3713-AB46-4ADA-8733-91FA5BB26F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037381$44FD8AF2-91B7-4C5A-A775-42B1A6B280FE","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":"Q4037381$D6EEFFD1-BD46-4FE3-B5C6-A4A2C0A27E10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037381$5AA5A7CC-F80A-40FC-82AD-FEC37D5D15DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"170113b230d4f2603eba5a8ab849d4aac2782ec0","datavalue":{"value":"177512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037381$B8386BE8-FEB7-4E4B-964B-4BB450BB35BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037381$B9791A21-F3F4-42B1-821F-2793DCAA6F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53947938d876c4db066d7dc8330f7bbe92724717","datavalue":{"value":"verification of dynamic properties of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037381$1E96DBFA-2D7B-41A0-AD9A-8A1695F008E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e5b74ea6b6ec937eabb783233d834c2c84b67d","datavalue":{"value":"reachability graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037381$25FDC604-B2C9-4348-894E-9F084F1879A4","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":"Q4037381$41E5A54B-BB50-4C7F-90C0-33F7B823F5F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a2f84bd5fa7e167209f732922aab08d948d1aa0","datavalue":{"value":{"entity-type":"item","numeric-id":4037102,"id":"Q4037102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63db65a486a27d02411f1f1c46e934bdc8425ace","datavalue":{"value":{"amount":"+0.7910699248313904","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":"Q4037381$B07FB57A-FB30-4E3B-84A0-15B4D38C8777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2340116dd9ca146c89df71d536f0209fd0af972","datavalue":{"value":{"entity-type":"item","numeric-id":4321473,"id":"Q4321473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb5486b7663cb31b5aded4f9f985d8646d6eee24","datavalue":{"value":{"amount":"+0.737127959728241","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":"Q4037381$110B1454-83CE-4BEA-B980-AEEA318700D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25dcdfefd89e6d88c85773a9c774e54f956b3424","datavalue":{"value":{"entity-type":"item","numeric-id":2771063,"id":"Q2771063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40263bacfa5fad5f810bbfdbfd4e7c8e88d1269e","datavalue":{"value":{"amount":"+0.7121835947036743","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":"Q4037381$1CE19986-9965-414F-A6D4-C8F4FC50AC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e67424fecc2cf18056b2a7fa15f3cbd752f464","datavalue":{"value":{"entity-type":"item","numeric-id":2753750,"id":"Q2753750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b952628edbd8307fc0e9e5fbc95879933edd0b77","datavalue":{"value":{"amount":"+0.7092292308807373","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":"Q4037381$F1476BA1-8028-442F-82AD-76E93F6D9B2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037381","badges":[]}}}}}