{"entities":{"Q4625666":{"pageid":6655248,"ns":120,"title":"Item:Q4625666","lastrevid":89951846,"modified":"2026-06-04T18:42:18Z","type":"item","id":"Q4625666","labels":{"en":{"language":"en","value":"Engineering with logic. Rigorous test-oracle specification and validation for TCP/IP and the sockets API"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7029231"}},"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":"Q4625666$92A609C2-863A-4EE0-BBEA-0CD192F17F96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a75af2978d25faae20fd325173e1c82a8f914156","datavalue":{"value":{"text":"Engineering with Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4625666$13021399-55DB-4C12-9933-DF42FA24AC20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39dedbac76f9d119efb9227097453fb8ff558744","datavalue":{"value":"1425.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625666$5217DEF8-FC47-4918-BCE9-7DD995BB145C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2b643c161399eed07366126d17d598e522fe3eb","datavalue":{"value":"10.1145/3243650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625666$7C57F2AE-8756-4D44-92C8-BB7730064B97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625666$5B9DD0B1-F856-4636-AB5F-6250530D83A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dc29c15a6fca964aa571755fad99d56eec8fcf01","datavalue":{"value":{"time":"+2019-02-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":"Q4625666$F5DF855E-A34E-47A1-83BE-C746D8C15D1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625666$C82555F6-E44E-43BD-9C5A-8E4D11A3D3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625666$159FEF01-5A1C-4E37-9FAB-E58C5936B994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625666$39B9EDB1-D18E-4E9B-A8C7-7989FFEE5BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625666$262F73D5-77CF-4778-842E-2F3E0196C05E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1cdb0c674413f5eccc878bdf603b45a9edaa051","datavalue":{"value":"7029231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625666$0EA69BC8-9DA0-41DB-A869-11CDDB263C05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"069a51d295da5f56fb610129e80cbfbbffd958e3","datavalue":{"value":"rigorous engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625666$ACEAE677-E427-4670-B0FE-DD403C08138E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f2135e7da5690987da4e95a2d4746b93b31d764","datavalue":{"value":"network protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625666$5AF4EAC4-74C3-4F36-9152-4EEE74B716A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625666$53C5C8E1-27D6-4959-AC54-869C9D057DE8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a81f577fd9cb18030203198640eb3cb64ddc699b","datavalue":{"value":{"entity-type":"item","numeric-id":39535,"id":"Q39535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625666$B8089F2E-26F0-49C6-B5F4-2321861C8BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bc28d6264333954f1ffd79d3ce520bed9c102ea","datavalue":{"value":{"entity-type":"item","numeric-id":39534,"id":"Q39534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625666$6F886A62-F957-4B7C-8CEF-985F04DAD474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77fcdf7be230e4d3ca4c96647deed19ec73fd9f9","datavalue":{"value":{"entity-type":"item","numeric-id":39536,"id":"Q39536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625666$5BCF4209-9817-4678-8528-7F0C45630A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ff7e8d7f1dec62b3f777e4647c5adefefa74065c","datavalue":{"value":{"entity-type":"item","numeric-id":39537,"id":"Q39537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625666$EC408A4F-5324-47A1-9FFF-244910EE952A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c0dfe19fac1c39cb08c694d63ca529121f9e625","datavalue":{"value":{"entity-type":"item","numeric-id":39538,"id":"Q39538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625666$A01B7EEF-F17B-41E5-B195-E6B42084D6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625666$7EB6C1DA-4C08-4596-BF36-0C022FBA29BE","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":"Q4625666$4EB3AD60-DD20-479B-933F-3344DDC155C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ad811ed9193f85c492e7c211bedafbf54426204","datavalue":{"value":"https://doi.org/10.1145/3243650","type":"string"},"datatype":"url"},"type":"statement","id":"Q4625666$02CBD53F-CE66-4CD9-B472-597DA6171228","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b34bbe574f2249e9670a1513ae66948afe1caf59","datavalue":{"value":"W2904162908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625666$C9AE91D7-73EC-4897-AEEE-4B6815E29C8B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"45a7024f54e4f3820806af3f7d6773f86b2a0d5f","datavalue":{"value":"Q130849087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625666$7D48CB68-2665-4E0B-83C8-002F5155DAFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e362a31e1664ff177a85b7932cc7340e52f06e","datavalue":{"value":{"entity-type":"item","numeric-id":1398910,"id":"Q1398910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141e90c4879980b8154cd7bbca0750595fa1c25d","datavalue":{"value":{"amount":"+0.6864916682243347","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":"Q4625666$6EE50086-5C1D-4EBA-8899-CD2905F3629F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82a214d31cab3b5891cc4c6ce69743c44e0d66e1","datavalue":{"value":{"entity-type":"item","numeric-id":3700808,"id":"Q3700808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5bfdd997ec89866ba32a60bbcec022e41e27a9","datavalue":{"value":{"amount":"+0.6851307153701782","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":"Q4625666$093A4F52-7EE7-409A-A27B-1EC8083A20DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e00b268e25b9029768ff8bf28d3e19d78381371","datavalue":{"value":{"entity-type":"item","numeric-id":3745235,"id":"Q3745235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2237e79146a91629e750c7863c4212e7b506bd","datavalue":{"value":{"amount":"+0.6812153458595276","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":"Q4625666$800293BB-7913-4831-B142-6BEE379F23BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da48039e9705a6ed1873ee6855a48ec7f8dd2b72","datavalue":{"value":{"entity-type":"item","numeric-id":5714458,"id":"Q5714458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4af82b25e04cc30bdf9a5755519f28914f960d","datavalue":{"value":{"amount":"+0.678973376750946","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":"Q4625666$5131BB04-4015-42B3-90E0-EC83D6CC9B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314ecf4b5060e1623107ed44965724c9aceaa6e2","datavalue":{"value":{"entity-type":"item","numeric-id":4942024,"id":"Q4942024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70dc6f8029c603491497dc397b81bd98654219ac","datavalue":{"value":{"amount":"+0.6708846092224121","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":"Q4625666$4F85193B-63BA-476F-B564-1E1F14C5850E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Engineering with logic. Rigorous test-oracle specification and validation for TCP/IP and the sockets API","badges":[]}}}}}