{"entities":{"Q4037380":{"pageid":6067098,"ns":120,"title":"Item:Q4037380","lastrevid":55250059,"modified":"2026-02-05T07:58:29Z","type":"item","id":"Q4037380","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177511"}},"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":"Q4037380$9E2E6B4D-BAD5-45C8-B37E-D3FCE678EC9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"100678ecd21ac7ee164bba087c139acdd77671a1","datavalue":{"value":"0765.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037380$41AC82E0-FCF2-4272-83B7-E2555240BBE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa02b1eb91e3ae48707cbc0221a827279d0c001","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037380$CD85673C-0EAA-4541-8ED0-C589858F332C","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":"Q4037380$2601E221-10E2-4314-8B01-6814629D734C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037380$2E44484E-11F2-4E51-9C83-588C4E8AC545","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53d89bb1e7cee28e49d3393b0501be18c8397072","datavalue":{"value":"177511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037380$504C5BDD-F05D-40F8-A96D-43BB8F4B7ABD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2655323beaf2c8da9fb17d43e588760236b45ac2","datavalue":{"value":"stubborn set method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037380$F52F9719-1D6B-493F-B28E-B32E607F4D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb0d5a5d3628516f914047d59892a208d47fd72","datavalue":{"value":"automatic verification of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037380$74FB7887-4C1B-4689-B239-30D2F92C94EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f41e928f83ba5af7637f5bbcf6901e930484e7","datavalue":{"value":"linear time temporal logic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037380$EC4E5460-EE20-4FD3-9013-DC6099990A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"950f1911dc3680fd67a2354fd5280c2e2f840a77","datavalue":{"value":"reduced state spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037380$C3F45B8C-CA79-4762-8FF1-C00DE7321597","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":"Q4037380$9B24CD15-CD71-4C81-9EEC-E080AB23EC0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f24e54a4aef43f9c0722ab87d1c5a28fddfaee7","datavalue":{"value":{"entity-type":"item","numeric-id":4037087,"id":"Q4037087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea5a0bab696ced9fdf0e0b822e191646c111da78","datavalue":{"value":{"amount":"+0.997044324874878","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":"Q4037380$F727AB7B-E7AA-45AA-825C-864A740D926D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0cde609a57b0eef5620aea058896cf96b88e938","datavalue":{"value":{"entity-type":"item","numeric-id":4353636,"id":"Q4353636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea5a0bab696ced9fdf0e0b822e191646c111da78","datavalue":{"value":{"amount":"+0.997044324874878","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":"Q4037380$01E4EE1D-A516-4969-8D66-D549AE0A5A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d350ac85232661af1b34e74ab018adfebfeafa4c","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca2ef263271f49043f72f93cd0a9858bea2cbc2","datavalue":{"value":{"amount":"+0.9899638891220092","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":"Q4037380$10BB0844-7815-4517-BFD8-45C0FCDC5E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de4e502d7c3ba3e99d0891f471f671296cd5ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4507831,"id":"Q4507831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca2ef263271f49043f72f93cd0a9858bea2cbc2","datavalue":{"value":{"amount":"+0.9899638891220092","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":"Q4037380$0BB4C2F9-AACF-4FD0-8DD1-6E9BB229C9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"028e3c660f5ed9512467b98aafec24c95689b560","datavalue":{"value":{"entity-type":"item","numeric-id":6487389,"id":"Q6487389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2940ee268a826ce5c335fd82874bf082e65e37c4","datavalue":{"value":{"amount":"+0.8974282145500183","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":"Q4037380$E2AEED8F-68DC-4A29-B3E4-8ACE10048843","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037380"}}}}}