{"entities":{"Q5423866":{"pageid":7453440,"ns":120,"title":"Item:Q5423866","lastrevid":50201297,"modified":"2026-01-13T12:25:24Z","type":"item","id":"Q5423866","labels":{"en":{"language":"en","value":"Symbolic Execution Techniques for Refinement Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5207436"}},"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":"Q5423866$C7181A0B-C74F-4F3D-9D70-C5A5706F82C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf20331b4115377144367e4d2b6c9605c32945f4","datavalue":{"value":{"text":"Symbolic Execution Techniques for Refinement Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5423866$68F12CFF-3003-4AF5-B8F8-D767D1041829","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbf37148b15024d7d9ce329138635bd21e758e03","datavalue":{"value":"1196.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423866$734BF6EC-F6FC-4E69-88DC-0C095527BE65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8edb47bd07d948bb0af9acd4a15d3f669fc27268","datavalue":{"value":"10.1007/978-3-540-73770-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423866$116284B6-355E-493D-8D72-0EEE5DB8272C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a54ebf41c09d98548c5a350681cdccac803d3244","datavalue":{"value":{"entity-type":"item","numeric-id":359894,"id":"Q359894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423866$810D6953-AE0D-4121-9F5B-435EF7FAE47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbcba3259d07cc5520b8363c50c012da0c799943","datavalue":{"value":{"entity-type":"item","numeric-id":3391104,"id":"Q3391104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423866$B34CE8DA-363B-49DD-9DA0-42AE2D557FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11fa6baa847b3d7af624b370dc71b9c8ca7f7c66","datavalue":{"value":{"entity-type":"item","numeric-id":3434648,"id":"Q3434648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423866$C09DC54B-B940-4706-BE24-5E0F363673B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423866$8756A23F-DC0A-428D-92D3-91F82C0B3D4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27b591515f5fb68f7eef8b751b948f7aac1b317d","datavalue":{"value":{"time":"+2007-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5423866$CBB7DC44-23B8-495A-9E5F-6CFD0CEC2A40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423866$0E57C876-3B43-4F16-BE77-D5DF0AAAC913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423866$BD6FDC50-501B-46A8-951F-1AAC33A56BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423866$55A30190-7DC4-4FBB-AC89-1F158B6EAD30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ecdbb4a404b13e2dc5ba168c1a907212cd0ed76","datavalue":{"value":"5207436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423866$43F59252-26C3-4580-9ED5-BD13DAE6151E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423866$B942E1A1-2F3E-43A4-A3E5-092FA78DA317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cd096fbe51368a7529e7609cb813ad3c29a70e","datavalue":{"value":"conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423866$F61D68BC-D7A5-480E-8B48-A36A32873507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423866$10DF68A2-3260-49AE-9F77-416BDE052E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"300d17cebdc213ffbc64006a94050e3d0920654c","datavalue":{"value":"symbolic transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423866$269D8E87-431A-4EFC-B5FD-CC30C191484D","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":"Q5423866$33EFE208-1E65-4F71-9851-015CE0389210","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bb4f92548406f2df2bd875e3cb371f04f8ed386","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73770-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5423866$4D44C696-A136-4E27-B857-1F52D7C0DFE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9da9838318fe3ad82d34c2f5a8625e2ecbf7a18f","datavalue":{"value":"W1524080654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423866$FE7E7B00-A33B-4F20-A792-F17DF44701ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc054348dd46a43ad28aa2f3214590ae01907420","datavalue":{"value":{"entity-type":"item","numeric-id":3434649,"id":"Q3434649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b45b15e515dc7099b588725e28aaee102e1ed5fd","datavalue":{"value":{"amount":"+0.8109817504882812","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":"Q5423866$D20BA48C-D6B7-4B9E-BE3E-8EC1CC3EB9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255bd870d045363d1b4665fbc37f6a59fb5fe945","datavalue":{"value":{"entity-type":"item","numeric-id":5710638,"id":"Q5710638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052b99574805be8c968ad62203d54a662fa7bf0c","datavalue":{"value":{"amount":"+0.7390225529670715","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":"Q5423866$8ECD7531-E597-4A67-920C-C213B52C1844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39edf4f5ee907893652a9e488fa9fcbf07c54e9f","datavalue":{"value":{"entity-type":"item","numeric-id":481094,"id":"Q481094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662aa7a71e4a55c1aa7319bdc14d437e4d67bb97","datavalue":{"value":{"amount":"+0.7227612733840942","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":"Q5423866$3E8AFBCA-2398-4B30-BEED-56DBCF7EF4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b479f70b564b5075b64cdf58ae5accfa82dac8cf","datavalue":{"value":{"entity-type":"item","numeric-id":5716598,"id":"Q5716598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ecfc9ef9aefd37887eab1bd0041016915821b0","datavalue":{"value":{"amount":"+0.7186912894248962","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":"Q5423866$5B1C3348-6270-41A5-8873-580480582B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9efe8fbf03798aadfc9cfdc8b8c1bc9f59367ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5179362,"id":"Q5179362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9361d9d6cc420562f4a33f3eb5c94b15bb29ece9","datavalue":{"value":{"amount":"+0.717963457107544","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":"Q5423866$80DFC00A-7128-4A8B-8D53-9EBE9A494840","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5423866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5423866"}}}}}