{"entities":{"Q1340969":{"pageid":1351708,"ns":120,"title":"Item:Q1340969","lastrevid":68506698,"modified":"2026-04-13T00:10:12Z","type":"item","id":"Q1340969","labels":{"en":{"language":"en","value":"Errata to: ``\\(Z\\)-match: An inference rule for incrementally elaborating set instantiations''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 704963"}},"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":"Q1340969$2753EC57-45A2-433C-A2F7-DBA9D2A4BC6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af7d253d970ecd32367715cfbdd327faf515103a","datavalue":{"value":{"text":"Errata to: ``\\(Z\\)-match: An inference rule for incrementally elaborating set instantiations''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1340969$FA075BEA-16C4-4EF5-AADC-8F5FE218A8AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ffe737bc4a5492097e046b6980b8848b201a27f","datavalue":{"value":"0822.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340969$DF17083F-8519-4DC2-8140-DF143416E30B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90e709035639a346bdeaefd5ecfc5e64cea46c3b","datavalue":{"value":"10.1007/BF00885769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340969$D8556C35-8A22-4D31-B2D9-6C4C9F0B7A32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1b17dcf0ac83f1dd38ccd61f7fa1d86349213c3","datavalue":{"value":{"entity-type":"item","numeric-id":751643,"id":"Q751643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340969$CAF26644-B928-4DAF-9E24-BF65E681ACD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abfb8dd251b525009fe355f7d7bc53d7f38b9f79","datavalue":{"value":{"entity-type":"item","numeric-id":1197384,"id":"Q1197384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340969$DAC75EC0-14D0-49BC-A700-C246B50FBFB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340969$EF6974C6-9F61-4C31-968D-DC55BFD1CA20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89a5af496da52109cb9fd8ee43aa6e112a9ba241","datavalue":{"value":{"time":"+1994-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1340969$2717D8EA-42B5-4D3B-B5A2-E85E3E706338","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f751ef89a29a370746c87ab08de1ba854f3914f0","datavalue":{"value":"Some minor errors in ibid. 11, No. 3, 391-428 (1993; Zbl 0802.68133) are corrected.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340969$2CAD4935-5C73-46AD-9983-A6E195F52ECD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340969$AF4DDC9D-47E1-44A8-92CD-15E60D7856B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340969$0D35CF8A-0B87-4C6E-B880-73152D960B40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d485b5287fe53dcd716f8de10163fbca398e59a2","datavalue":{"value":"704963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340969$50A88779-1AC8-43DD-A289-0B92358DCC7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340969$E83E61CE-226C-4B07-A4C0-A880390DFA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9af3f5d3f9a756b613e3b9d0b340c029a1c07de6","datavalue":{"value":"instantiations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340969$7B8388D2-FCD0-40C7-9599-7D47385CFC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340969$FCFE9622-3824-45C6-B8E2-E06A5220FD80","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":"Q1340969$A87D52F4-11C0-47D5-8C56-E441BA22053C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Errata to: ``\\(Z\\)-match: An inference rule for incrementally elaborating set instantiations''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Errata_to:_%60%60%5C(Z%5C)-match:_An_inference_rule_for_incrementally_elaborating_set_instantiations%27%27"}}}}}