{"entities":{"Q1961709":{"pageid":1972451,"ns":120,"title":"Item:Q1961709","lastrevid":47436058,"modified":"2026-01-01T18:12:43Z","type":"item","id":"Q1961709","labels":{"en":{"language":"en","value":"Special cases and substitutes for rigid \\(E\\)-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394478"}},"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":"Q1961709$D2718D53-E3E0-49E0-8EA1-744700F7EF5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b506202234c9c3091fde5153a127085141979198","datavalue":{"value":{"text":"Special cases and substitutes for rigid \\(E\\)-unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1961709$E48D62C7-5F9D-41D5-A34B-43DC9D4C01FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dcb6b53f800bc30ccf2849e0533163fd77ce9d4","datavalue":{"value":"0938.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961709$448519BB-5C54-4D43-82A8-813EB4EB1738","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961709$4B6BB067-BE46-400F-B1E7-CE4E1B7C0620","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a1283e633d77f57352896ea2a6d03b592cc70cf","datavalue":{"value":{"time":"+2000-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1961709$3ACA899F-BE29-4041-BE69-F8AACF31468E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961709$268C4216-B339-4430-885F-F7FBB84598D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961709$4387851A-CAE0-444E-BF17-AFE840FFEDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961709$F49CA128-A1CD-4DAE-90BC-18B4BF0FFBF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd582f3bd83a685259e3d32e1fda27318a365f35","datavalue":{"value":"1394478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961709$F5891A16-FBB9-4C2C-8819-6C26E157D7C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961709$8BDDA553-4574-4952-94BA-8AB5FAFF44A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961709$EE6EC0C7-039E-45A1-8712-43A541F1D073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961709$C0DBED62-E8F2-4EB3-8E1B-3E8318785452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961709$53E6898A-C8A7-44EE-83C4-283933389D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e579825eb20c9b0531fc2ac57fb7c27c7fab2e66","datavalue":{"value":"simultaneous rigid \\(E\\)-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961709$A9F4155D-4DE5-4F12-9798-ED2B7E35909F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5c90fc3c8dc972ad1858673e87ce965c149e274","datavalue":{"value":"theorem proving with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961709$0F52E350-C103-4A48-ACC8-3BF870552B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"308a5ad5b29bf800e971040e74384c1536fc8bb2","datavalue":{"value":"decidable version","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961709$B8272A40-7663-47F8-B692-3D150989FC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961709$BA67FE96-9A9B-4140-AF67-6ACAE2C20818","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961709$BE9267C5-C806-4BDD-B3B0-A5AF25C21673","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":"Q1961709$D7321706-A602-4862-958C-E4F9DFCD5209","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7691f3f69cbda5cf4be310580b82a7a1f39573ed","datavalue":{"value":"https://doi.org/10.1007/s002000050001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1961709$9653B3C2-A35E-4B3A-89D5-F2E3DE727A9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"640d089d8964643964ca7c1d74f0bb1b04b836fc","datavalue":{"value":"W2030028426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961709$86B86EDC-76F8-4A5E-9028-2D3890E0318D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"885306bb345428f4a5652bba25c6d2be8d86b206","datavalue":{"value":"10.1007/S002000050001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961709$0159BFA2-098B-4E9D-BB6F-A8C067B54D6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2b6846de4fed4ad457da4792188d08e352b183","datavalue":{"value":{"entity-type":"item","numeric-id":671659,"id":"Q671659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d453fde067626b2db196cfbce7529d9395c4b3","datavalue":{"value":{"amount":"+0.8899199366569519","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":"Q1961709$9387912B-03AA-40EF-A3CE-DEAD70F65E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf03038873f84b1040c7d5d8f59221454ef47a19","datavalue":{"value":{"entity-type":"item","numeric-id":4524789,"id":"Q4524789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb6ce9de18034acb0f42ebaf53295cdf937a1d0","datavalue":{"value":{"amount":"+0.8738681077957153","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":"Q1961709$7E013A31-1E6E-44A9-A7FB-D222856B874E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95285eb430b07962ed87c982fea9e805e38c4508","datavalue":{"value":{"entity-type":"item","numeric-id":1960540,"id":"Q1960540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03beb3268846d54ea226751ef08fdd2d7c5c3eb1","datavalue":{"value":{"amount":"+0.8608361482620239","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":"Q1961709$40795241-91C8-4C63-9B58-B71EFA558774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5c5bd409b15fbcc78f61fb7edf2042911a9e24","datavalue":{"value":{"entity-type":"item","numeric-id":4571948,"id":"Q4571948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1ff6ca536201fc7b169090a3a84d0a0c5e2d4a","datavalue":{"value":{"amount":"+0.8603343963623047","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":"Q1961709$FF409ECA-7AE5-4161-8A68-5803CBBEE1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88eda265a188fbf1c26d6ec5dd7897033546d25b","datavalue":{"value":{"entity-type":"item","numeric-id":4364523,"id":"Q4364523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c4b5b5194a3356294f287be6e4fca5711f578a","datavalue":{"value":{"amount":"+0.8556342124938965","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":"Q1961709$E2276C16-104E-40B8-9C4B-EAAEB5B84C9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1961709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1961709"}}}}}