{"entities":{"Q1319387":{"pageid":1330137,"ns":120,"title":"Item:Q1319387","lastrevid":47244319,"modified":"2026-01-01T02:56:47Z","type":"item","id":"Q1319387","labels":{"en":{"language":"en","value":"\\({\\mathcal Z}\\)-match: An inference rule for incrementally elaborating set instantiations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 549829"}},"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":"Q1319387$95BA862D-084D-40BD-A882-20A9428077CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"688b7afe81255b07acd99a52ad84d5c4c35b23a5","datavalue":{"value":{"text":"\\({\\mathcal Z}\\)-match: An inference rule for incrementally elaborating set instantiations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1319387$F5599CF2-C25A-4F0F-898B-9E95CCB6EC70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8e35c7461971da7de10432abfdb1ac15eef8c48","datavalue":{"value":"0802.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319387$35E91B08-C76F-41E7-8E16-545A1992A644","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13bcb60601217786eec36188d6a96aec7068feb2","datavalue":{"value":"10.1007/BF00881874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319387$DC9BFBC8-FBE9-402E-8327-2966D10050E4","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":"Q1319387$1FFFF873-0767-4429-968F-4988141A3E4E","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":"Q1319387$DCBC8FC5-55A5-42FF-8111-41FEC78598CB","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":"Q1319387$50F9FA7D-DD27-4CA6-AF4B-9FEC8AE18248","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43a82918b7cb04f59437503b817f00af9741808a","datavalue":{"value":{"time":"+1994-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1319387$02639996-347A-4145-A7A7-C61B54C7929C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319387$38164548-9363-4ED2-90DA-FE881D5FE178","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f75428b21bdc6a936a0e90af436565d694dfbb4","datavalue":{"value":"549829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319387$6D64807D-907F-44CB-A464-11B488E8BF36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319387$2C7CC11D-F9C7-4820-ABA0-8514E840E925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9af3f5d3f9a756b613e3b9d0b340c029a1c07de6","datavalue":{"value":"instantiations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319387$DDEA7311-CE9B-43AD-885C-A93980ED2305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319387$7A2BB3DE-E6BF-422D-B786-0C3939CA6B01","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":"Q1319387$BD2BDDFE-665C-46FA-9185-07587449D439","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"699058486e8b00064491357c30e4bf001687c940","datavalue":{"value":{"entity-type":"item","numeric-id":751644,"id":"Q751644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319387$DBFBD926-93DE-4C8B-A9FA-7C9EA48BDDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1b079c7d185126ec0a687c39691da56b5aff96","datavalue":{"value":{"entity-type":"item","numeric-id":1253108,"id":"Q1253108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319387$4C6509BF-3B6B-4610-997E-545A62D0F311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89ac9c75c7c291667867f456830b43ee621a6dec","datavalue":{"value":{"entity-type":"item","numeric-id":1104124,"id":"Q1104124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319387$054E1EB3-D418-46F6-AC56-7A86315EAEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7abb1a37fcb81a634dcf1216f786d92ca577fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4098673,"id":"Q4098673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319387$E81B9AE3-6464-4E4D-8632-935FE236C336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ab1b76c1a615c15f4ab0ff2b368f22cadd3a65","datavalue":{"value":{"entity-type":"item","numeric-id":1215411,"id":"Q1215411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319387$88CAF2FF-7249-4756-8CEA-9D85726F75AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319387$2609DA20-2318-4605-8B83-15C92924BD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319387$D2F40C1B-162F-44C6-BF46-C88FF31F4599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aeff6bcf80c6c6ed90f345a4f97ff1b37d320a7","datavalue":{"value":{"entity-type":"item","numeric-id":1823017,"id":"Q1823017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319387$B61FE073-8EBB-42A9-B4B3-C27BD0349BB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8213c84e722b981af05319a6ca2089cbbe9522","datavalue":{"value":{"entity-type":"item","numeric-id":2457343,"id":"Q2457343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c44ab5776519445750757a34c03c0d582e53b75","datavalue":{"value":{"amount":"+0.7102760076522827","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":"Q1319387$4F32ED71-53C3-42B7-A94E-66437B572052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"928ec8085fd99b8fe8e035f04734140663423a16","datavalue":{"value":{"entity-type":"item","numeric-id":4732467,"id":"Q4732467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93aab64ccf5d38ae4203db79004992fce335d3bc","datavalue":{"value":{"amount":"+0.697179913520813","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":"Q1319387$FC591589-7875-40E0-BB08-18923E5AE69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae48ac2710efbb08b3080b8d26fda2b8eaa37cc","datavalue":{"value":{"entity-type":"item","numeric-id":3732981,"id":"Q3732981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ee6f9b72df50cce005dcf0867e212b032828ec","datavalue":{"value":{"amount":"+0.6866113543510437","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":"Q1319387$854A425E-DE24-4723-9AD1-7801BEF51A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"560f5742f65df3117ea8ed4971289cab4b37e111","datavalue":{"value":{"entity-type":"item","numeric-id":4016555,"id":"Q4016555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601a5c31760b5e403477d2536a579faf510538ae","datavalue":{"value":{"amount":"+0.6827139854431152","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":"Q1319387$A92ADF36-F6D1-4488-8F65-0A6BE16305D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de72a55ad8714891c24ede823c98f307f17fcba8","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c3200bb23cfef8ecc16a1c3ac6d94409abdeb7b","datavalue":{"value":{"amount":"+0.6827074289321899","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":"Q1319387$F5B468B9-DEC0-4EEB-A333-30C4E44EC5DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1319387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1319387"}}}}}