{"entities":{"Q2779795":{"pageid":2790533,"ns":120,"title":"Item:Q2779795","lastrevid":47769634,"modified":"2026-01-02T15:48:00Z","type":"item","id":"Q2779795","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1728527"}},"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":"Q2779795$D87284E7-0E8D-4CE7-9E2B-3A988C1CC1D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19f0ae6e112f407c70df6dd3c8b68388910742d8","datavalue":{"value":"0982.68819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2779795$22C72280-F5C4-4579-A1B9-AA22A2764DA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f83abf2b01a4357b2f9d0924a417dea001e35cd1","datavalue":{"value":{"entity-type":"item","numeric-id":338622,"id":"Q338622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2779795$73C67B02-98CC-45F6-A8A3-422E5A540008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a60a15cfbea43471ccbd146befcae6bee6ddfba","datavalue":{"value":{"entity-type":"item","numeric-id":975495,"id":"Q975495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2779795$398D6967-D9CE-4998-85DE-E720FB25AB50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5413ffc719fa4f564e4e40b7395ce01b4e7b889","datavalue":{"value":{"time":"+2002-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2779795$5605F48A-C3B5-44FF-86AC-0F2EDA1D1CD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4faf39e38b87165d3ed4350792d7c830e881718","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2078/20780403","type":"string"},"datatype":"url"},"type":"statement","id":"Q2779795$6DB5EF5A-523E-4B98-8D19-9089486F0E42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2779795$AEF12664-C0EA-45EF-AE63-8D6E49AF4C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2779795$3B5A0265-413B-48FA-A1FF-80C3517F64BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5eb10227f864aaaeff8b3ad4fc4d342a5221ca7d","datavalue":{"value":"1728527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2779795$33FA6458-11A8-47DE-AC2B-710735B34E32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf81945b86b0a5c966945839297f9f5b02a1c337","datavalue":{"value":"SDL model checking, abstraction, compositional, bottom-up verification, verification case study","type":"string"},"datatype":"string"},"type":"statement","id":"Q2779795$6103C4D9-93E2-4D39-B929-C8E5BF8C0C5A","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":"Q2779795$BF594868-EAF9-497A-AD3B-E77132033E5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993bd27c2984201ac55b999df189272519f42c72","datavalue":{"value":{"entity-type":"item","numeric-id":2729079,"id":"Q2729079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb21b732c2ac020fa1c81f45fa1c6a4358287200","datavalue":{"value":{"amount":"+0.7792378067970276","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":"Q2779795$511A6D7D-F071-401A-8B46-1498F1780C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3861e45302141962899918920641b65dd34a6588","datavalue":{"value":{"entity-type":"item","numeric-id":2779763,"id":"Q2779763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb99fc4a9eb227e27f9b137af75327bb9f345d5","datavalue":{"value":{"amount":"+0.7622179388999939","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":"Q2779795$6B716458-D37E-41CE-81AF-D88C21201B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb2fd46b39cbc03ae1dea019be264455c600fd3","datavalue":{"value":{"entity-type":"item","numeric-id":2779796,"id":"Q2779796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502b1afa27b58c7c2422af8dbbca333ae08e1731","datavalue":{"value":{"amount":"+0.7610628604888916","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":"Q2779795$ECE07F2A-FA1B-4681-B4E8-1B524359D6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c065744fd7b37a35e957a948e69a10f4b04dae","datavalue":{"value":{"entity-type":"item","numeric-id":3043804,"id":"Q3043804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168c15d150d20e53e8e674d73b699f509f38e97a","datavalue":{"value":{"amount":"+0.7603915333747864","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":"Q2779795$3C1B6279-802B-49EC-A2AC-DA7D2EA6C440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086c8b057cce73036ef414dd1c55b29dec9d04af","datavalue":{"value":{"amount":"+0.7470160722732544","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":"Q2779795$520AF402-AD8E-437E-8548-AC2166877547","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2779795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2779795"}}}}}