{"entities":{"Q5166716":{"pageid":7196288,"ns":120,"title":"Item:Q5166716","lastrevid":94391249,"modified":"2026-06-05T06:41:26Z","type":"item","id":"Q5166716","labels":{"en":{"language":"en","value":"SAT based verification of network data planes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314183"}},"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":"Q5166716$1A82F559-670E-4385-B2FB-628A064FF667","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c9afd7625628c40fcfc2818fbba01a78489d6eb","datavalue":{"value":{"text":"SAT Based Verification of Network Data Planes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166716$9D7B4E59-5CF9-4FE8-92A4-A904379FC30E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"896971115e72d78ce35684ad2aac2554f7ffb102","datavalue":{"value":"1410.68243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166716$620D89F7-4613-4F2B-9005-6C1160F97D3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6eef5e2fc89bbd7da9beb3d32db6f167327b9e5d","datavalue":{"value":"10.1007/978-3-319-02444-8_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166716$13EA190C-AEB7-4A34-A632-10604F2617E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11f27b1540bfc8a6cc01b1b6f56aa476fcefaf03","datavalue":{"value":{"entity-type":"item","numeric-id":3470046,"id":"Q3470046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166716$41F34076-32A0-403A-9608-F67BD77978A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad84ce20d471d4eb62ee7ab9f8f8819cbe6311af","datavalue":{"value":{"entity-type":"item","numeric-id":265699,"id":"Q265699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166716$0EC42900-141C-4D76-857C-9A914E4B3659","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166716$528487DF-04DC-420D-B473-05EACFB7E5F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166716$83C26103-FEC7-4961-AB2A-955761BB5DD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166716$1B9796B5-0275-4D9F-99E3-1DACDA2E52D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166716$49117986-C466-4CF9-8971-84F46A10991E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0330d5db99dab24c8615211e935acca95c65a899","datavalue":{"value":"6314183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166716$04BAA0E5-3FB6-4F79-AA6A-1CA7C2E08616","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":"Q5166716$79147290-206A-4B3D-ADD0-C6FF65E1575E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45ad7b0d874f90300119354cdc00d7e3ed222415","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_43","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166716$A04AB547-7664-4DDC-B59C-6BE7005BE82B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22063549c5cc9004be4d8c499f162743cd33b272","datavalue":{"value":"W1903445364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166716$13187B87-995A-4656-8A25-428F3719DC67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf1f5e6c0baa3022ef570152036ae148eeb5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":2789031,"id":"Q2789031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9600939fc0f278355bfc1087fb1223ca2ef505","datavalue":{"value":{"amount":"+0.7570427060127258","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":"Q5166716$1170D3E5-B755-439D-B2F1-6B977058773E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea64812f024c6a67c2783350a36490e2408999a2","datavalue":{"value":{"entity-type":"item","numeric-id":2024371,"id":"Q2024371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021e58aeb670621d8c6723c2adaa3af2dec6adb5","datavalue":{"value":{"amount":"+0.7538392543792725","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":"Q5166716$3149D489-0440-4C85-B04C-559EFBDC4EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44cc6a53bd90cebb6a27d0feb69def5f383a5c72","datavalue":{"value":{"entity-type":"item","numeric-id":1996852,"id":"Q1996852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8adb72c3a6f7d4dae0a212608e1254af3c116603","datavalue":{"value":{"amount":"+0.7399631142616272","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":"Q5166716$C5BCE93E-997F-44D4-ABD2-44AD8903B7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d392229acb34618b852d25b71355f8ec62402a49","datavalue":{"value":{"entity-type":"item","numeric-id":3297609,"id":"Q3297609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9045cfa633eb59f2aca35540fe5d9f9c3518307","datavalue":{"value":{"amount":"+0.7228297591209412","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":"Q5166716$7B07CF4B-641A-4DAA-9B39-770D5C7DE6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4ae6d3573fc781820560c92325d71225a2df39","datavalue":{"value":{"entity-type":"item","numeric-id":2938038,"id":"Q2938038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62e071ae7928255e1242cfaaa24adefa8b48092","datavalue":{"value":{"amount":"+0.711499035358429","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":"Q5166716$A7173767-87C3-4070-ABF1-DC995EE62B67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT based verification of network data planes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT_based_verification_of_network_data_planes"}}}}}