{"entities":{"Q2211257":{"pageid":2222000,"ns":120,"title":"Item:Q2211257","lastrevid":73589439,"modified":"2026-04-14T16:34:05Z","type":"item","id":"Q2211257","labels":{"en":{"language":"en","value":"Provenance analysis for logic and games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7272347"}},"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":"Q2211257$D1A2E74A-831E-4806-B150-8B6CAA84A3BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56ba6e0b11e90f51ea91bd668401225598af7083","datavalue":{"value":{"text":"Provenance analysis for logic and games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2211257$714E75A5-F665-4554-9B7F-7E100D5A3BCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"187a80b28bb24a4fb950a5bee8e0b860e1953302","datavalue":{"value":"1485.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211257$D86E9C0E-64C2-44FA-90AF-30D099187178","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211257$1F53BEEB-A8A5-4DEB-8138-063E559860A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a4039d3faa52091ecc0d9cf3f44185773b9deb1","datavalue":{"value":{"entity-type":"item","numeric-id":555768,"id":"Q555768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211257$E3469F7F-476F-4C21-B6C9-BD287BD78360","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"96d61287f253fc18075a19b52e9e24b787406c3d","datavalue":{"value":{"entity-type":"item","numeric-id":266692,"id":"Q266692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211257$17D5A617-1ED1-446F-9F00-7A78BE71D679","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9f22268837797e046dca0302ad58b944858f292","datavalue":{"value":{"time":"+2020-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2211257$2BEEF111-41ED-41BF-843D-409C61E028DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"962416cfba5a14b3739b1f18aca612cb39394eeb","datavalue":{"value":"https://arxiv.org/abs/1907.08470","type":"string"},"datatype":"url"},"type":"statement","id":"Q2211257$774BBEC0-EC31-4346-A3E8-9DBE00CD8D80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211257$2116C360-F6E2-4E54-A726-13A3F2A7BC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211257$9AAFAACB-94F0-4E3F-ABAC-26FFE7084650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211257$48E1CF1C-6240-4495-AF3A-ECC6B5486C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211257$40D10531-A36C-4389-83C5-D139172F0116","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb54b0a4ba0331690f438407d84c16dcb8055cd4","datavalue":{"value":"7272347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211257$7C685217-23A1-4389-B26D-9F234F198762","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211257$4F4BD6BC-3882-4668-A7FD-D6316CDDA84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24ef650de5e3ab8baf5240cd7248e47e8a80dbbd","datavalue":{"value":"semiring provenance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211257$7D435938-EEFB-4635-8D1D-4A6107C7D7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211257$D104C5E6-72D8-4F82-BA9F-21EF6CEA01A9","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":"Q2211257$84AE2B2E-9F54-46A3-B881-D0F19A5B6B66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdaddeee94154b771ebf4cdf7bcc0f03e7fb78ac","datavalue":{"value":"W3094619289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211257$EBF8C2ED-6125-41F7-8DA3-27416E504404","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d39acb1808ebc2b42de0b424a6d2d5425cbb3ab","datavalue":{"value":{"entity-type":"item","numeric-id":2185470,"id":"Q2185470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211257$0AD6E820-B30E-43B0-A042-E5F2753A3B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a8bf01aee90acf7a741795e2186ccf861f787e","datavalue":{"value":{"entity-type":"item","numeric-id":975870,"id":"Q975870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211257$B7A942A8-5794-4064-9562-D5DD7FEB5D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346258b02cd40a3ef65d3ae6c1d6e219efc1bef4","datavalue":{"value":{"entity-type":"item","numeric-id":3177765,"id":"Q3177765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211257$40824B76-CD16-429C-95ED-35793F87B880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562983da9d5e2fb9016c1fe41e54b1692dd71dfc","datavalue":{"value":{"entity-type":"item","numeric-id":639858,"id":"Q639858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211257$4323D416-3C7C-4409-99B9-139E1DFF14FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211257$6DD5D850-6660-4B95-9347-3DCED28A0C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e808e8e01205180f374ba0aa942314290d66cd","datavalue":{"value":{"entity-type":"item","numeric-id":1799316,"id":"Q1799316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211257$87EE44E3-892A-4980-A17C-F1FB652B6CD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d01f8b443e1dcbd4891c361339694d9a87bbbf91","datavalue":{"value":"10.2140/MOSCOW.2020.9.203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211257$031B5F3D-3E35-418B-AE70-979F4C60BD3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"709e19605c14eb11de278852a78158be43e77272","datavalue":{"value":{"entity-type":"item","numeric-id":1799312,"id":"Q1799312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0acbbc5aa39bff065b8583bfa9dd894adf1ecc","datavalue":{"value":{"amount":"+0.8286901116371155","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":"Q2211257$5CC39298-926C-45F3-9BF4-2C3DE4FC47BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7c1fba373c502435ce12e61ccd7effb897b147","datavalue":{"value":{"entity-type":"item","numeric-id":2185470,"id":"Q2185470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0097d3edf83b84d60ec54c50df6d709a1dccd4cf","datavalue":{"value":{"amount":"+0.7859694957733154","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":"Q2211257$14A88769-68CF-4C03-8EB8-57306E39443D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a5a778d899f9a212e614a18cf371e98f202c54","datavalue":{"value":{"entity-type":"item","numeric-id":391101,"id":"Q391101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f194c5eddb939408eb3e81146536068d9995e840","datavalue":{"value":{"amount":"+0.7144519090652466","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":"Q2211257$1A3024C6-F023-41D4-B620-11B098BCC330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2807441cc1e3f448025a33310f5bea2132c91f66","datavalue":{"value":{"entity-type":"item","numeric-id":3103615,"id":"Q3103615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a17357afe1a917054c746bdeae342e75d77d755","datavalue":{"value":{"amount":"+0.710189938545227","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":"Q2211257$BC624EA9-1263-47F2-9C8E-23F15388E3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f92064452ea39acc1818f8b73d96c659c6cbb4aa","datavalue":{"value":{"entity-type":"item","numeric-id":2996154,"id":"Q2996154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd58b989f4f9cc430d87e1e79fad33289efda36","datavalue":{"value":{"amount":"+0.7075139284133911","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":"Q2211257$725C7F99-2ECC-4720-850F-700786469884","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Provenance analysis for logic and games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Provenance_analysis_for_logic_and_games"}}}}}