{"entities":{"Q7236648":{"pageid":24521432,"ns":120,"title":"Item:Q7236648","lastrevid":84484784,"modified":"2026-05-18T18:10:12Z","type":"item","id":"Q7236648","labels":{"en":{"language":"en","value":"Provenance analysis and semiring semantics for first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8194307"}},"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":"Q7236648$CF7F068B-3BD5-4817-9B9A-2A470C6AE4C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbc5deb1a420bf84a38646dcfb6d6b133fe67771","datavalue":{"value":{"text":"Provenance analysis and semiring semantics for first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7236648$BE41EBA6-A331-43AD-AB80-343BAA528EE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"123bc6d4f7ee8f3178f705f21b2b9de36e36b85e","datavalue":{"value":"10.1007/978-3-031-86319-6_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7236648$EE3C46D1-95F2-4EAD-836A-7A6594076BDC","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":"Q7236648$4E6DB7DA-0103-4C42-951D-1951401C1BD0","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":"Q7236648$88C15578-0368-413A-B6E3-B9CF109E6CB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85b3fa7c458cb67b574ff8166cc6a7d8284cb854","datavalue":{"value":{"time":"+2026-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7236648$9BE1C7F4-7779-4F50-B95C-7D4775C4A499","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7236648$8358A456-5A29-4944-B7F6-B78D21F9E11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57f167c32409cd84dad7e725a6344d78daf6bdb3","datavalue":{"value":"05-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7236648$549AD38E-4D84-4BFD-8B29-6635331F9F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7236648$9AEDCAA3-BBDB-491B-A2A6-8D00888FB44A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8baca6249d1cd7eab348cb1de5e00dac44d05f2","datavalue":{"value":"8194307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7236648$88AD559D-F8BC-42F0-BDE3-F3291341A02C","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":"Q7236648$2655C807-80A6-4DD6-A9A9-D8B5240671B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4cc729864077cfaa756ad6fc2ab9f45904eaf1","datavalue":{"value":{"entity-type":"item","numeric-id":800488,"id":"Q800488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7236648$428113FD-61BA-423E-9915-5DF4AA36383A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e1a944da08687c3d87f18b45f8a25bd83ce78d","datavalue":{"value":{"entity-type":"item","numeric-id":2526152,"id":"Q2526152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7236648$4AC63CB4-AD52-4813-93EB-54701F333DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f94be44fcabd2787e98322227cb62770b3270bf","datavalue":{"value":{"entity-type":"item","numeric-id":6856037,"id":"Q6856037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7236648$8BD944B4-F2AE-4816-8B63-093737EEA717","rank":"normal"},{"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":"Q7236648$9F11D644-A8E0-4F0F-A97D-7DA45EF70AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcf7e0930e7c23064fb984e3b8473c19fc82423","datavalue":{"value":{"entity-type":"item","numeric-id":5015965,"id":"Q5015965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7236648$68F2980C-D8E1-48B2-ABE9-B71A108ECD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce805af6e0fdd5c22268a9517e66381d2ace363","datavalue":{"value":{"entity-type":"item","numeric-id":6839819,"id":"Q6839819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7236648$1D7A3A57-2F49-41F6-B83F-A40631419087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a740b6e9e652b2fb5fe827ec941309ed6af62f7","datavalue":{"value":{"entity-type":"item","numeric-id":4108321,"id":"Q4108321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7236648$07454FCE-4BB5-4474-82F4-9DEC9661EED9","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":"Q7236648$9A337047-C20D-4898-BD0F-C100452B7C50","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":"Q7236648$53D38974-DED7-4116-A3B1-EDCAD167B056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a457eb8f2a02e58d33c22e96848375859bb2d4","datavalue":{"value":{"entity-type":"item","numeric-id":5155881,"id":"Q5155881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7236648$F637D832-1149-4EA7-8318-ADE9313790BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5804de7ffe5928852f5619eb03ebdbe8a34788","datavalue":{"value":{"entity-type":"item","numeric-id":2211257,"id":"Q2211257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7236648$44D9FDA0-D6D1-415F-A79B-BC413DC3E12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248bde3a394bd4daef7ad3a4739df78b9e4b1b1a","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7236648$A122049E-6FAE-47BD-A5F5-6E13F455576E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2137ed8c344c69798b2dd7909a106bc99dc7976","datavalue":{"value":{"entity-type":"item","numeric-id":6649475,"id":"Q6649475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7236648$D77C2848-E91A-48A4-9F88-79820D7718D7","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":"Q7236648$57F9E13A-F3B6-490B-9D94-37080DB07FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda95454835a6bf174c57560493c50fdb2828c5b","datavalue":{"value":{"entity-type":"item","numeric-id":639856,"id":"Q639856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7236648$65543023-1616-4BB3-A660-C012A6ABB2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7236648$A4DC7E49-58EF-499E-B81E-8433EF766F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"259f93d96c9591372b22152e583f6ba48525b16c","datavalue":{"value":{"entity-type":"item","numeric-id":2695365,"id":"Q2695365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7236648$389B8030-0C4B-4C13-9695-A063F32D0B6D","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":"Q7236648$115A8367-75DE-4848-A31E-E803A587624C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Provenance analysis and semiring semantics for first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Provenance_analysis_and_semiring_semantics_for_first-order_logic"}}}}}