{"entities":{"Q685358":{"pageid":687207,"ns":120,"title":"Item:Q685358","lastrevid":47188858,"modified":"2025-12-31T23:10:20Z","type":"item","id":"Q685358","labels":{"en":{"language":"en","value":"Graphical versus logical specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417318"}},"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":"Q685358$4DE113B5-F75B-4678-8386-48665F4BD88E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aafcd12798ea203a7fffc0fdc53bbfa2ff5597a7","datavalue":{"value":{"text":"Graphical versus logical specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685358$B7CDB888-6622-4F0E-8F6A-623F0AC539D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b57541301e72fe28a1b0712acbd74202b616dd52","datavalue":{"value":"0776.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685358$F423655D-CE3B-44EB-B67B-331D7E04214C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a4677e188b3836941fba88e427a4211f9bdf6b3","datavalue":{"value":"10.1016/0304-3975(92)90276-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685358$ADF8434C-94A2-483C-933F-206DDD3EEB85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd217ce1412a85115d044de2c17df9698399a47","datavalue":{"value":{"entity-type":"item","numeric-id":685357,"id":"Q685357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685358$A39C69CC-FE9C-4569-818A-EC324F707F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685358$AA9546A5-E615-4D13-9AFA-112BEEED81C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685358$78258FE8-0F33-4F97-B57B-A301144124AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d02bde13d622d42f9b76cdf00d7fe9c53527b91","datavalue":{"value":{"time":"+1993-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685358$0FF74235-044C-4253-AC5F-E22EA0A95D13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685358$36D2AD53-F888-45B9-A8FA-31F2F5CDCBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685358$D17E68D2-A051-4F18-BA18-1AB70B496008","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d91307da39a07f634c5a8eb8812df425561d2672","datavalue":{"value":"417318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685358$341EF328-AA52-4022-ACF4-E066C4727275","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e2640df5d71bbce7690bb4e23bef618257bef8a","datavalue":{"value":"verification of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q685358$6356E6C2-327A-4286-8246-32B69FCAB468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f677d184811d532a946e0e27ca6aa0f19b902a3","datavalue":{"value":"Larsen-Thomsen's modal transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q685358$1E769530-848A-421E-8CE4-D7192776E498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685358$263DC80D-8C55-45B2-B25F-3DA34F95412E","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":"Q685358$A35F3E29-81BA-4C48-A3EA-7FBEB74F221C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86294c98630b181a5f8eb3c9fb0c21ddb5c467c7","datavalue":{"value":{"entity-type":"item","numeric-id":3719799,"id":"Q3719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685358$C12EE733-719E-4E56-BD69-404B476C516E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685358$1B02BA8E-58DB-435A-B0B3-90C0B4F7695F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66487668f68853a91db02532866b3d5fad761668","datavalue":{"value":{"entity-type":"item","numeric-id":3794154,"id":"Q3794154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685358$5CCBCB38-9BE3-4838-85C1-BAB2F8B8D67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cda71ff5ed600ad77742f3d5e6a3f654a27f","datavalue":{"value":{"entity-type":"item","numeric-id":4732449,"id":"Q4732449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685358$67CFAB28-7B00-458D-B800-5F0110A14903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685358$EA734545-39EE-43DF-93B0-888ED1316DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45f552829e448fdb1f5d0c5585c08bd5972555","datavalue":{"value":{"entity-type":"item","numeric-id":3694687,"id":"Q3694687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685358$33F79494-D854-4754-B6FF-56F07731759B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685358$1166FA84-B2BD-420C-9AEE-2EBD280DD46E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1a2edb4bf64d789a481ce8ce7f205da66477c0","datavalue":{"value":{"entity-type":"item","numeric-id":4027619,"id":"Q4027619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b9af5dfedca15ea996da97790f54b30ddd05b8","datavalue":{"value":{"amount":"+0.9978263974189758","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":"Q685358$FBFB9615-A630-41BF-A5FE-1A1F20B362CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9c091cb5ee9733a0a4eb9f98faad2b3bc9f7be","datavalue":{"value":{"entity-type":"item","numeric-id":5950716,"id":"Q5950716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c67a404da88bf1457518195b74481d542274e8","datavalue":{"value":{"amount":"+0.9978259801864624","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":"Q685358$B1274121-6E2C-4741-97D0-71BF9A559676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a76a226c67b09897d6d33e12544554c85859fb","datavalue":{"value":{"entity-type":"item","numeric-id":2304534,"id":"Q2304534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"295f7fe64d94f4011be5a6d4f352fcc07b5b93b7","datavalue":{"value":{"amount":"+0.8048337697982788","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":"Q685358$EBAC3B35-3DD7-4419-A3F1-C4120F11D85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc4b99d402032667d565d74b4d6118fd5a1d1cf","datavalue":{"value":{"entity-type":"item","numeric-id":4645279,"id":"Q4645279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d111ea8a8f35782040a492813d5b0ac0559050","datavalue":{"value":{"amount":"+0.7658833861351013","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":"Q685358$86E52E02-6B1B-441B-ACDE-D212B94899D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e313dc43357be23af45e4be1b5b460479817e39c","datavalue":{"value":{"entity-type":"item","numeric-id":5753511,"id":"Q5753511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b8ef0085235c77aba1d57fb0aade4b8baefc9b","datavalue":{"value":{"amount":"+0.7631495594978333","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":"Q685358$CAF34A08-12AC-40F6-BDC5-398FB1447739","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685358","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685358"}}}}}