{"entities":{"Q5900546":{"pageid":8006211,"ns":120,"title":"Item:Q5900546","lastrevid":50943191,"modified":"2026-01-15T21:02:29Z","type":"item","id":"Q5900546","labels":{"en":{"language":"en","value":"Contract-based testing."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5688170"}},"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":"Q5900546$670FDF25-5F72-44CF-B1B6-EBA175CBFD84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61ea6ce0583a713bf659f3aab8125ec2423a3e4e","datavalue":{"value":{"text":"Formal Methods at the Crossroads. From Panacea to Foundational Support","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900546$82136DE5-7CAC-4E23-B9C6-5A45A2D624AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5f6cbdf64cfff98d9efaec022b7e989f6a268c6","datavalue":{"value":"1274.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900546$B6F8D916-AB52-4185-B545-BB2EFD932FA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dec56fdd824afe477f8efc3dd8518f3a1c55e418","datavalue":{"value":{"entity-type":"item","numeric-id":433333,"id":"Q433333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900546$D9F9A4FF-678E-48B6-BCA1-4C465A7FD74E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900546$C15A4D5B-D4DD-43AB-839B-D64814CEC0D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad85b41ac0afe13597f905f95a4baafcdea7919","datavalue":{"value":{"time":"+2010-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900546$E2F0FF46-5DE0-4549-853B-8139F84E31F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900546$60F52CA3-C7AB-483D-BE5E-B614F0D96E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900546$3E99CF92-234D-4534-8E27-6D27C1D569F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c7f654041e6eba3907e0e9c3201a86c3cc59d4c","datavalue":{"value":"5688170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900546$5922CE59-3541-40BA-80D8-BE22703DD0D4","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":"Q5900546$15841523-E2FB-45CA-AE03-5DA3082EDC20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"727368da10bdb22998a905c1920bc2ae3268c832","datavalue":{"value":"https://doi.org/10.1007/b11934","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900546$6C35A7A4-1ABE-4482-AB57-BAAA31A5DA16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f4c9d74ca971e78f431b158c9d3119ec2ef622d","datavalue":{"value":"W2490478666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900546$FFC6FEAF-3492-4F07-A141-8A64350A5ADC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"673f1d7775307f5051a62e29839517d850980a3f","datavalue":{"value":"10.1007/B11934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900546$87B3BD6D-8D21-41D2-98DC-5D5E492AA0AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad9c6a35f7fd7c4ab939744d9cb4ad79e8c77d3","datavalue":{"value":{"entity-type":"item","numeric-id":2764003,"id":"Q2764003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c06c208e48158a885c8c1b8b1077ef5cd4078f","datavalue":{"value":{"amount":"+0.6989530324935913","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":"Q5900546$14967E52-57AA-45F9-9F9F-7EF36E6C9225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132eb975de93bd8b7e2a085c1950995241e5469e","datavalue":{"value":{"entity-type":"item","numeric-id":3510789,"id":"Q3510789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0e87c23e2b01fc99d810cb850832ed235149ae","datavalue":{"value":{"amount":"+0.6983797550201416","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":"Q5900546$6D524CD3-812D-4C35-B9F9-8267C63DFFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dfa618c79f77179ff39470598b0bc6091aeab80","datavalue":{"value":{"entity-type":"item","numeric-id":4931293,"id":"Q4931293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd4f2d8e5aeb3ebcf6c7fc91c4e5b6e52d48c8d","datavalue":{"value":{"amount":"+0.6955097913742065","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":"Q5900546$757FFAD4-6EFB-4115-81A0-27B6DE172856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97eba645ded9390357a50b4bccc8c256cc7a37b","datavalue":{"value":{"entity-type":"item","numeric-id":3043834,"id":"Q3043834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c4ac58bf39eed475a8ca7c832b49451b731393","datavalue":{"value":{"amount":"+0.6764590740203857","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":"Q5900546$8D604CA7-2641-4DDD-850A-9D3B924E2928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"569d73fdcb5001238c0f11a9f98c16bf0d341b0a","datavalue":{"value":{"entity-type":"item","numeric-id":2017757,"id":"Q2017757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d69d3b4014432155fc1f59c5cd65a5f2d7dde5d","datavalue":{"value":{"amount":"+0.6762058138847351","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":"Q5900546$4C1724DC-B3CE-4129-8960-BF8B5372A2C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900546"}}}}}