{"entities":{"Q3016215":{"pageid":3026939,"ns":120,"title":"Item:Q3016215","lastrevid":51290411,"modified":"2026-01-17T15:18:28Z","type":"item","id":"Q3016215","labels":{"en":{"language":"en","value":"Automatic verification of directory-based consistency protocols with graph constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5920512"}},"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":"Q3016215$2F89D52D-8FA5-4A05-AC7B-E06D5A5128D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d338c6cf41b8b22b8e7bb4d7ea8df9d31996c54b","datavalue":{"value":{"text":"AUTOMATIC VERIFICATION OF DIRECTORY-BASED CONSISTENCY PROTOCOLS WITH GRAPH CONSTRAINTS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3016215$1A858CD9-37F6-4D06-80E3-D77726675D5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cd0832adfbfcc4a696c8930efbf448d09445f0d","datavalue":{"value":"1216.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016215$61FE9CA5-AB08-4D16-90BB-DDE2D6CAFC4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba904ac8d7fe0014fde16c5a5830bd166f38ef61","datavalue":{"value":"10.1142/S0129054111008416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016215$11618877-BC11-4E96-A303-1973EC464EAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016215$842E453D-BCD1-4BE5-BEE6-0206B360A2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5db2b9505b07169ac2970e5fecc30e68f1e9e332","datavalue":{"value":{"entity-type":"item","numeric-id":1039840,"id":"Q1039840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016215$1E74B25E-C65F-4594-8288-BE9CDB9D0F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016215$CDB5EEB2-0A00-4E74-BCCD-33B667D59C85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016215$06073ABC-3D79-4EBC-B974-EA3AD7220508","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cb91b61275a9337dc0b3da1b4e47e94aca6afd0","datavalue":{"value":{"time":"+2011-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3016215$3B0BD259-5443-4315-A937-F1A3CE6D501B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016215$3E845C70-3905-4740-B5B2-BEA471709517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016215$15E26BEC-6A08-4B1D-90C7-28D690740107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016215$BFECFB84-C955-49E0-AAC4-E25DBC80D142","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba5cd725d9f9669e4818ad0b0c0a7c2d79974a41","datavalue":{"value":"5920512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016215$8910362B-8C48-41AE-AECC-3D54AFD1ED97","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":"Q3016215$A7EE4119-6C7C-45AB-A7D8-B8ED8CE7F1D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5d0f608e7f0e955120a32669152b078a21d908","datavalue":{"value":{"entity-type":"item","numeric-id":865624,"id":"Q865624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016215$D7D337CF-EE09-4331-B6CB-C2B353B3E8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016215$4EC3D903-426A-4F63-8A4E-D42811E21F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016215$78147A1D-8508-4A74-B668-960F86F04826","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196c055a36807494f36388e3daecfd2407b59b44","datavalue":{"value":{"entity-type":"item","numeric-id":3646250,"id":"Q3646250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66181534c720bb1d1c3407e57f2badf1100b35d4","datavalue":{"value":{"amount":"+0.9860637784004213","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":"Q3016215$4AC1D1BA-D6AB-4E70-AAB6-FC255724660A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff0c41eebb37c25ff956a50c4424950f8476a02c","datavalue":{"value":{"entity-type":"item","numeric-id":4475639,"id":"Q4475639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306e32fea8108e74ddcc78a2c371f9cd68dbb3e2","datavalue":{"value":{"amount":"+0.8192354440689087","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":"Q3016215$5FF51FA7-0361-4C49-BE0D-FD3DF29C14F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57707316463f3a4e14e182b6b06693122a87a830","datavalue":{"value":{"entity-type":"item","numeric-id":5312920,"id":"Q5312920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a794a0e820d984bf9bcdb6e3113568bc28335ffd","datavalue":{"value":{"amount":"+0.764667809009552","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":"Q3016215$9906F4D9-6C60-4DD4-AD9E-522E1DA24111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2caa5581d6023fe874d5a6d20e8329eace625f","datavalue":{"value":{"entity-type":"item","numeric-id":3158515,"id":"Q3158515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09cb8a0aca93f863b371e6bb41165f70f8c8244f","datavalue":{"value":{"amount":"+0.7529337406158447","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":"Q3016215$1F2B47FA-3464-4BC2-86F6-5DDA725A5310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d68dbf2c0578ce93d0a1620d8b3a041780c9ddb","datavalue":{"value":{"entity-type":"item","numeric-id":1879185,"id":"Q1879185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a48a8d151dbdff316d748bd164c388230485d6","datavalue":{"value":{"amount":"+0.739210307598114","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":"Q3016215$02A60551-F0E5-4685-8AB9-5B282116795C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3016215","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3016215"}}}}}