{"entities":{"Q3393414":{"pageid":3404117,"ns":120,"title":"Item:Q3393414","lastrevid":50749256,"modified":"2026-01-15T00:55:03Z","type":"item","id":"Q3393414","labels":{"en":{"language":"en","value":"Integration Testing from Structured First-Order Specifications via Deduction Modulo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597360"}},"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":"Q3393414$B46A68C7-8EF4-4BBD-B7BF-45CDF9C05FE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ed65fd9c6cd69e2b80d6ed6b1eda7692fc96721","datavalue":{"value":{"text":"Integration Testing from Structured First-Order Specifications via Deduction Modulo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3393414$1D49EC72-F5B4-4038-A35D-24627838771B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c540b132e5da2cf8a2fcdf34cf930d9681568e1","datavalue":{"value":"1250.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393414$290FCAB4-25A5-47F6-8C6F-5B66E530B6DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba096bfe430a0dd7d505759ef021bfd333d840cd","datavalue":{"value":"10.1007/978-3-642-03466-4_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393414$55E9181C-E9EF-41D1-B83E-5F59A9C65342","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"192e7cd97b7b8e011a36ba44451f1e905baaf1ae","datavalue":{"value":{"entity-type":"item","numeric-id":530210,"id":"Q530210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393414$288C0ED1-8D1D-463C-8598-AE91CABB4B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"086e12049a4f65f0db8f7826b3d43f2cf3b6be32","datavalue":{"value":{"entity-type":"item","numeric-id":359892,"id":"Q359892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393414$70B903D7-A5E1-4491-91AD-DFB6694D1BDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"240c8acd5191d2bc1617f9caad166826b772af1e","datavalue":{"value":{"entity-type":"item","numeric-id":3393396,"id":"Q3393396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393414$ACE5EFFC-8F57-4F25-9D6A-5B2D5CC0DE7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e37402ce5463f5ebaa93189340d9af4a5c60d29","datavalue":{"value":{"time":"+2009-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3393414$F1AF820B-B667-42BC-BC72-C18E6DEC43C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393414$D791A662-449F-4941-8CA4-FB7F19A86D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393414$12C0EEB4-10C1-4CFE-8482-D3DDAFC8030C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd06b3082cf4a79c22ee6cf62a2b73cfb72493b9","datavalue":{"value":"5597360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393414$540FC1C2-DEE9-482A-9C6C-1146152BCDBD","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":"Q3393414$3887E383-CDC9-4BCD-A058-93082F223299","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b499ce161fb644d480b709ee4226862ac8b5f04","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03466-4_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3393414$2BA94734-FADA-4BA4-B4AB-3B630480642C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"678c07a99091ee9ebdd1a826a74856675c76bd4a","datavalue":{"value":"W1521882573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393414$DC12A9D5-C13D-4675-9401-C89116DBF8EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87dc24857e6c444f6cb7b180f5bf91b129c131a2","datavalue":{"value":{"entity-type":"item","numeric-id":616851,"id":"Q616851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ef3e39037104be8eafc288a75000befc48ef60","datavalue":{"value":{"amount":"+0.7277054190635681","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":"Q3393414$55AEE3F7-A0A9-4676-A6FA-D9027A2587F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996e81c9497b14de9827fbc1b27ed0c9dc599184","datavalue":{"value":{"entity-type":"item","numeric-id":3508522,"id":"Q3508522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61eaae700bf40af7bb5e23d8f46a3abcd16d49d9","datavalue":{"value":{"amount":"+0.7229738831520081","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":"Q3393414$225C57A4-5F88-4EB4-86BC-5BEBD71E469B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197d925f173e298f53c644c5c0fa301505090cbf","datavalue":{"value":{"entity-type":"item","numeric-id":2767202,"id":"Q2767202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2429625fcf3f1815fbc4278e307d7e83dbcf8690","datavalue":{"value":{"amount":"+0.722154438495636","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":"Q3393414$FA960967-0102-48C4-97C0-032A42087C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"badfc9f42f0dc8bd86c4c932ad93b10917551d18","datavalue":{"value":{"entity-type":"item","numeric-id":1125424,"id":"Q1125424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f7753875fd01a98c044b060aba6bf8b1824a99","datavalue":{"value":{"amount":"+0.6989780068397522","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":"Q3393414$6D29AF44-1447-4C11-8939-A85DD0E56E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac47cb80c4a22e6308a71b08a8cbdac314577677","datavalue":{"value":{"entity-type":"item","numeric-id":3694681,"id":"Q3694681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f507b6567ec7abb4f0f028f777025c85e1c24b30","datavalue":{"value":{"amount":"+0.6971961855888367","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":"Q3393414$F1EA5A86-D2E8-4564-B957-75B489157108","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3393414","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3393414"}}}}}