{"entities":{"Q4795877":{"pageid":6825457,"ns":120,"title":"Item:Q4795877","lastrevid":74652102,"modified":"2026-04-14T23:46:03Z","type":"item","id":"Q4795877","labels":{"en":{"language":"en","value":"Building Infinite Models for Equational Clause Sets: Constructing Non-Ambiguous Formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1874426"}},"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":"Q4795877$88CCB5F8-D062-4FBB-A38C-E882E910E8EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ab903ff382efadb0d12fec8d7e6bae0a801db10","datavalue":{"value":{"text":"Building Infinite Models for Equational Clause Sets: Constructing Non-Ambiguous Formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4795877$856AF5EB-0CEB-487D-ADFA-F314020F609D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a96dbbbbcdf1e2779521071be3fbcbcb90996c99","datavalue":{"value":"1017.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795877$E606CBCE-DE83-4CF4-BC2B-470894C11BDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795877$FF08944F-323B-47F1-958E-168E1ABE1F50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"827dfa4373d59d6d09fe679abb67eca1fdd0daf6","datavalue":{"value":{"time":"+2003-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4795877$2ECDC47D-9CCB-44F4-9C72-BB740E2E9FE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795877$DAC9D5FF-3CE4-4CD2-83C6-1FCDD0ACF7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795877$7047551D-E08B-44BF-8202-71621955D11F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fece1fbc7c7b028467508c6d9cd4ee750581218e","datavalue":{"value":"1874426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795877$355FAC4C-C660-4A89-8DFB-5B7A53C76E80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795877$46235454-6DB8-426F-BC59-DCDA71AB1238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0133bb82e5a2899974ef5a92a207f1239299d2","datavalue":{"value":"model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795877$BD7F80A2-006B-4E6E-969C-8C98B993CF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795877$7901E577-27B8-4449-AA97-2478722CBCAB","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":"Q4795877$AF35C87E-17DC-45E0-9C9B-17A507892039","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ba018a7a11690e907098d65d36f443a27307bad","datavalue":{"value":"https://doi.org/10.1093/jigpal/11.1.97","type":"string"},"datatype":"url"},"type":"statement","id":"Q4795877$4E986B05-78F6-4879-82DE-4C1E87EE9E44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c0722c9d08f69f5415da4ab66bfedabcda4dd89","datavalue":{"value":"W2017540610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795877$CBE041B1-09D4-41C4-BE7A-E115A7EE63A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb5b5724ec6e591417b6800ed58e79520c400eb1","datavalue":{"value":"10.1093/JIGPAL/11.1.97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795877$052C7E6D-24EF-430B-BF57-F969FB501A10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795877$A8AE796A-A9A7-4EC2-9B10-B8E7CFF96BF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e852ecac704111aabe2b11bb9d7771b06a87f2","datavalue":{"value":{"entity-type":"item","numeric-id":1404975,"id":"Q1404975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbce19c35f4a47ac08a0969159469b496a4df9e","datavalue":{"value":{"amount":"+0.8062227368354797","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":"Q4795877$A4F1836D-41D7-4AC2-82C1-E9997B7851B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44469c695c7d19631de7e636f5e7f496493f9406","datavalue":{"value":{"entity-type":"item","numeric-id":4283235,"id":"Q4283235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf950940d6e9136e50700fc8cf7c0bacb9b153aa","datavalue":{"value":{"amount":"+0.7932108044624329","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":"Q4795877$577C9EFC-873D-409E-A902-68812C489773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61566d3f7d09b12a4bef9237af79e3d2ce60a4e2","datavalue":{"value":{"entity-type":"item","numeric-id":1401929,"id":"Q1401929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee7b39cc54d8e73bb66fba2c43fd3cb76eae595","datavalue":{"value":{"amount":"+0.7879603505134583","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":"Q4795877$2246C439-3580-4005-8EE2-12B2D3D1CE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b218c4ba3c0ee3527ebaf03168166dd2cb9217ec","datavalue":{"value":{"entity-type":"item","numeric-id":4287493,"id":"Q4287493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2abda0b7447246a2c919f1e6238c6948114eac8","datavalue":{"value":{"amount":"+0.7831124067306519","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":"Q4795877$63A56147-92F6-42D4-A999-2D9945079C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed107c0b5f9570cfb041178e0327ee0d9628b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2abda0b7447246a2c919f1e6238c6948114eac8","datavalue":{"value":{"amount":"+0.7831124067306519","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":"Q4795877$A0F04906-3380-4269-9773-793A17107E73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Building Infinite Models for Equational Clause Sets: Constructing Non-Ambiguous Formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Building_Infinite_Models_for_Equational_Clause_Sets:_Constructing_Non-Ambiguous_Formulae"}}}}}