{"entities":{"Q4037385":{"pageid":6067103,"ns":120,"title":"Item:Q4037385","lastrevid":55250074,"modified":"2026-02-05T07:58:44Z","type":"item","id":"Q4037385","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177516"}},"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":"Q4037385$DE65DB57-4FF8-438F-AC0F-25D4B7EB7AB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa61d6460988211e06d44e48a17a2de6c1e5ca92","datavalue":{"value":"0765.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037385$30A82EFC-135A-475C-A066-593E597DB7C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c5b6398977f19d3fbbadc0234cae6d8c44a315b","datavalue":{"value":{"entity-type":"item","numeric-id":1172383,"id":"Q1172383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037385$00DF5B48-E42F-4AFB-9C74-701BA6284D0B","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":"Q4037385$8617BC24-A7BD-4DFA-B0CB-4E09A2A9AC8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037385$B176A66B-2145-4FB2-AB4E-DDE59BC9EFB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a030fcdf0ff504992ed3c3f5c0fc61888be4b986","datavalue":{"value":"177516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037385$D386B5D0-EC1C-4491-BF04-93F5175B4D2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb63acc7a020cebe7cce47165c61b912671493ec","datavalue":{"value":"modular specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037385$9A50056F-96A7-4F8D-9AB6-9FE758CFE6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e7987a524e93f9642693a9633d594af0f2bb13","datavalue":{"value":"hierarchical design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037385$606E43A1-3D78-41B5-BB2E-11FEE1257BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037385$A59AD798-134A-476C-A83A-1365A3C326F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037385$31BCE320-6070-427A-98E8-4108D072CB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037385$75962C7F-FCB0-42C4-B36F-EC1894BBB9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000d054838ba79f1c83227281d29722f07d85a76","datavalue":{"value":"Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037385$1D92F982-857E-491C-B8AE-C8CA22BF7144","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":"Q4037385$697421D2-D551-453B-943C-D09F75E60646","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898d736a9a21a771252125e7929914dcd9e293d","datavalue":{"value":{"entity-type":"item","numeric-id":4037109,"id":"Q4037109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698df5f90b922c56eb3a48ebb73c20de8f59e09a","datavalue":{"value":{"amount":"+0.9905619025230408","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":"Q4037385$951B89FC-B58A-4D9C-9A48-3644F30173D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cd3a6ba6886cf508a56b50d46dcb8c6b5ff425b","datavalue":{"value":{"entity-type":"item","numeric-id":5470704,"id":"Q5470704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698df5f90b922c56eb3a48ebb73c20de8f59e09a","datavalue":{"value":{"amount":"+0.9905619025230408","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":"Q4037385$852C92B2-DD36-4F71-BC22-536CF20E6ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b150d0e63367a7bdba2e8623b50293f17cb759","datavalue":{"value":{"entity-type":"item","numeric-id":4632440,"id":"Q4632440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3645b06f8496f67428407c2d37feb645cffbea87","datavalue":{"value":{"amount":"+0.8203823566436768","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":"Q4037385$B35921C7-AAF2-4B66-910E-B03E4F656811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b1dbbc66aa68ee1476d765265be7a93c44a3ac","datavalue":{"value":{"entity-type":"item","numeric-id":3028984,"id":"Q3028984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abcdfa05a3c9766e437d4ca1a4b4bcab6a36ad89","datavalue":{"value":{"amount":"+0.7786754965782166","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":"Q4037385$1CEE4ADE-BB48-4C0E-9EE2-9A08851A57ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8fe3397498c4abf94e38fb188e5b3b6550c8818","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2089e3215d4736bdc5a92f53293d6cf5c0fa7307","datavalue":{"value":{"amount":"+0.7741212844848633","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":"Q4037385$79CD2389-20B2-4CCC-97B8-D92A8691425F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037385"}}}}}