{"entities":{"Q4982331":{"pageid":7011909,"ns":120,"title":"Item:Q4982331","lastrevid":52239410,"modified":"2026-01-21T05:46:10Z","type":"item","id":"Q4982331","labels":{"en":{"language":"en","value":"On minimal models for pure calculi of names"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6423726"}},"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":"Q4982331$5ACCD902-F0ED-46DE-A5D9-07734EFFA715","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2221dce36cba40e3a627ea3ba2d2d3ac4830e8b8","datavalue":{"value":"1321.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982331$F3649023-8B34-43DD-839A-5A6D7249EDA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ca3c81ad39c4db2df12e0c3ee6332ce3d6911c8","datavalue":{"value":{"entity-type":"item","numeric-id":513928,"id":"Q513928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982331$0D4EA128-9C18-4487-92BA-EA8543F372F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2685380c049c772858fa8145d702ffd7ed5e8e1c","datavalue":{"value":{"time":"+2015-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982331$FC5FED9F-5F80-426A-A7DF-76FAD07E1E3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982331$3743690B-50E6-42DC-9AC1-3FC7E4DF5269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982331$BEACF656-C256-4375-AC57-0F07F1BAD81F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82ecbcb663483bb8eb2bdad0ee3faa159c3c8dfb","datavalue":{"value":"6423726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982331$567C5F8D-242A-4944-BC97-ED4A6E26BF4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ab6bf9fc64684bb50f18f4bf6b7c7cbe45cbc81","datavalue":{"value":"calculus of names","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982331$A1367ED6-BF1F-4FA6-9BE1-F1172DC35D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260631c11c3b9b61b5108f819c21d2bd526337e7","datavalue":{"value":"Le\u015bniewski's ontology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982331$8528F4AA-B5FF-48A3-A56F-899B81A25B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60eaa204fe52cf361dfdb465e94211248e251d81","datavalue":{"value":"cardinality of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982331$7270FAAF-014D-4AE7-9E8A-2D000110DF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd9b48e0f63bd31aba7983c4b529381f34b00c34","datavalue":{"value":"Horn theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982331$B0090584-ADF8-4209-B17D-742D564E4FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08b0a9613dba508201a5767f5a270398c8f4412b","datavalue":{"value":"axiomatic rejection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982331$9F87E3F6-9A08-4E05-9925-580AF4A3D8B1","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":"Q4982331$84E932B4-2B17-401F-920C-CF27BF11514A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9499f3a8685a7390573d9a45c4836da0be235fce","datavalue":{"value":{"entity-type":"item","numeric-id":1928489,"id":"Q1928489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4915d41c598e8b892b69ca660df40d46912a6dd","datavalue":{"value":{"amount":"+0.8442943692207336","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":"Q4982331$28B90CE6-DC27-42CF-B411-DEE327665A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5455499cec8407429ac5c46e7ecf046c098fb5ca","datavalue":{"value":{"entity-type":"item","numeric-id":3684107,"id":"Q3684107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8a1cd90c55020d2699777462e94ed73608cd7e","datavalue":{"value":{"amount":"+0.8351311087608337","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":"Q4982331$CE27190E-31B0-4711-9A7F-4DA4F6E2BA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b9a527e4d0781c8418f3c5cec2978483929e335","datavalue":{"value":{"entity-type":"item","numeric-id":4888338,"id":"Q4888338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6944c7fa460521d4a05c8549cb6917ba9e62ead8","datavalue":{"value":{"amount":"+0.815650463104248","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":"Q4982331$67E3AA5C-E23B-499B-B86A-E8DB37B32347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90581cfcb3f23ca7810903e763ff7aedfbbe609b","datavalue":{"value":{"entity-type":"item","numeric-id":3347851,"id":"Q3347851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f8548446c78a4732f0d68d3914303406e43611","datavalue":{"value":{"amount":"+0.8156503438949585","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":"Q4982331$12E5E238-23AA-483A-BB8A-40AF2DC1323B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8118b053d99a57560355335a0a1cbe4de7237d96","datavalue":{"value":{"entity-type":"item","numeric-id":2737108,"id":"Q2737108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673a3b635d4d1818839a6dfa70109ebf50318d91","datavalue":{"value":{"amount":"+0.7330898642539978","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":"Q4982331$79017FFA-7372-410C-B92E-9BB853F337F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982331"}}}}}