{"entities":{"Q3075478":{"pageid":3086194,"ns":120,"title":"Item:Q3075478","lastrevid":51188789,"modified":"2026-01-17T03:44:33Z","type":"item","id":"Q3075478","labels":{"en":{"language":"en","value":"Precondition inference from intermittent assertions and application to contracts on collections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5851849"}},"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":"Q3075478$AD1315DC-B760-44E0-A429-5F44354F4FFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b68e5774c1296d4b5df065c76a9d7958e470eea5","datavalue":{"value":{"text":"Precondition Inference from Intermittent Assertions and Application to Contracts on Collections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3075478$46A968B7-C4DE-4281-BCA6-E21C6EFECAEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6776fc0dfe3d939f5563a32c689ae83ccf945dbd","datavalue":{"value":"1317.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075478$ACAA4F5D-D0EA-4DF2-8287-1CA8310C8703","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0ec4a6ecdea4c1d1e791edee7e5d6562b2b81c1","datavalue":{"value":"10.1007/978-3-642-18275-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075478$C0EE166C-2AC0-40DA-A5F0-61A37779F6FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$F53E32EC-46A4-4208-B7B3-4C4A8970DF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabe6d988e05fe3a7b00666b4b0ee76e06b180c4","datavalue":{"value":{"entity-type":"item","numeric-id":655409,"id":"Q655409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$0F84DAEB-7E8F-45FE-B4B5-C11F4EDE1283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49a0ecb14865a5b433d1cf738812e937a4ed0ef","datavalue":{"value":{"entity-type":"item","numeric-id":988563,"id":"Q988563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$C536F491-1B93-497C-96D3-40302000BDAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$7742C372-ED7D-4971-89B1-430DBF474A30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f954a0f2b7ac472ed97c8eb163db44a29d7b9a","datavalue":{"value":{"time":"+2011-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075478$E1011AD6-92F3-41BE-91B1-8AB3C87BE6A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9be66dadec858afc4b56ef3ee2737d4a4d270c58","datavalue":{"value":"https://hal.inria.fr/inria-00543881/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075478$43F86DD8-7C7E-4500-805F-74959F12C8BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075478$4A97DC92-F56E-46CD-B54E-E63C424EAAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075478$6CE951AA-D1BF-4787-BE75-8C5F365BB426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075478$6F7AB6BD-3DDA-4CC9-B16B-10C807B6D7A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39a32bd6b1069e55de4b37658a138a761a06bff6","datavalue":{"value":"5851849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075478$A7A44FBD-B774-4B98-BA9D-0DB1CCA529FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edcc5b773aefa12179daf9a302ebafdcfbdfdca6","datavalue":{"value":{"entity-type":"item","numeric-id":25620,"id":"Q25620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$30D0F768-1154-41C1-A209-8F69E01AF7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$A40B018E-450C-4C07-9E92-112E482DAF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b09fc0116146547cb2243374566ca9143b099b8","datavalue":{"value":{"entity-type":"item","numeric-id":25619,"id":"Q25619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$8847FFD4-C7E1-4F3F-807F-5459A6920EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$5CAE6CCD-F16B-4A00-B556-66D817C1F2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$3731DBC2-489F-43CF-9FC3-9863A176E770","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":"Q3075478$1DD10505-5989-4C29-B906-43829476247F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f1182cb2c8ce44c9470b3736a99ff6050135545","datavalue":{"value":"W3196044867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075478$5CA4CA32-12E2-492E-AFC3-A58F0A53BCBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$E04D51FB-30D8-463F-840D-3E633058C9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$0796EF41-8D70-4915-A709-3C925DEFA9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d5b4a8113b914146778f9cdfb24fb2524be9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1605224,"id":"Q1605224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$BAAD687F-11C9-4900-8CDF-9EFA07F6ACEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$12CC23FA-BB90-4377-9CEE-8034BF8136F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$ABE5A161-2F7A-4EA3-AE9D-4D7255A8956D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$359182A5-6364-40D9-A414-78CDBA81C1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5bdcaa540bff7c2bb2bc19021ce1f0a31f5b57","datavalue":{"value":{"entity-type":"item","numeric-id":4738384,"id":"Q4738384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$8EDBDC94-BC54-472B-885F-868966F62E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1f487f894ada316ae2893024e29e29b624b634","datavalue":{"value":{"entity-type":"item","numeric-id":5408536,"id":"Q5408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$40D96473-B318-4A16-85E0-B63B1E038437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$1FF91A26-CB11-402D-9095-51D5F8A6851F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54c82b0039a426f5c1ef7671ea1808efb82c22e","datavalue":{"value":{"entity-type":"item","numeric-id":3067530,"id":"Q3067530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$476DCB7C-4F37-462D-85E4-9363137016C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4790a8f508b7827f27d4dbb0558b53e264da509","datavalue":{"value":{"entity-type":"item","numeric-id":5756498,"id":"Q5756498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$ACD41AAC-03FB-4EE2-A65F-F86BDBF33B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d13b2baaeba9578e51f0f16124df9d341fafb29","datavalue":{"value":{"entity-type":"item","numeric-id":4162449,"id":"Q4162449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$C3755025-A3B2-4704-920F-D8E7A6F59791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$3FBD25CE-76D1-46A7-8517-36404AD08E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3080bd85d1970847e3833afbfbc0c32fcc932e60","datavalue":{"value":{"entity-type":"item","numeric-id":4024014,"id":"Q4024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$233D7E54-954C-43F2-A45C-97898430E874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55096a910c5cef11ff4d16154bff1d7f43dfd495","datavalue":{"value":{"entity-type":"item","numeric-id":5452717,"id":"Q5452717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$B3B6D2D0-0EDC-4547-9E17-396DF465C710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$9B716971-1331-4BBA-BC33-3D82956D30F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cb41278eb147b9f2b9468c88b78b1104c0166e","datavalue":{"value":{"entity-type":"item","numeric-id":5897439,"id":"Q5897439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075478$91CA1269-5355-4C42-B592-CA7239703EF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19e005a0abe117167f38c3b5f5143e8643419a6","datavalue":{"value":{"entity-type":"item","numeric-id":604392,"id":"Q604392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd44fe2ed7b68d6088f7509147b7ed80fdc5a69","datavalue":{"value":{"amount":"+0.7656728625297546","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":"Q3075478$B8212853-7ACD-4958-A670-F60A6F467904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c5e28c2426f36317b4262f4c6b116c314053825","datavalue":{"value":{"entity-type":"item","numeric-id":5326301,"id":"Q5326301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e58f8f221f6fcdde98507173e47190aeb35bdb0","datavalue":{"value":{"amount":"+0.7645314931869507","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":"Q3075478$639A7CEB-B767-45B7-97EE-00DC735CCA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e49f366cdcb859351f8b3897804390ca61d562","datavalue":{"value":{"entity-type":"item","numeric-id":3067530,"id":"Q3067530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43ca57b78bb67d6c0f35a715a5e2d5dd84a8364","datavalue":{"value":{"amount":"+0.7512840032577515","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":"Q3075478$E6CA974E-F1C6-4CEA-921A-A3EA3BF09D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb530de2a2eafa27a1d531520d9a64016c1d12b5","datavalue":{"value":{"entity-type":"item","numeric-id":5452717,"id":"Q5452717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0d1054f4773e993d279c91d691e78f85175368","datavalue":{"value":{"amount":"+0.707005500793457","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":"Q3075478$CCA4B8CC-9A5B-4AC3-8B8A-CA9F8F4526C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0605ef596d929245fcfc8a407c55f9f17fb78984","datavalue":{"value":{"entity-type":"item","numeric-id":3586008,"id":"Q3586008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5cb78568362c24a670a42f4ff3858138f7f482","datavalue":{"value":{"amount":"+0.7007667422294617","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":"Q3075478$58A13D20-9AAE-423E-A18B-854CC9968A4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075478","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075478"}}}}}