{"entities":{"Q4287493":{"pageid":6317094,"ns":120,"title":"Item:Q4287493","lastrevid":46306719,"modified":"2025-12-24T13:07:41Z","type":"item","id":"Q4287493","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 549974"}},"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":"Q4287493$F94049DE-2EAD-4609-A368-048EA61C07F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b783c0702da9be4697c14b76ca624e6866805247","datavalue":{"value":"0797.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287493$9B41F62D-8A64-49E4-9FD0-1B21D119D79F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef8d9904a40baa08e6f0a10240e7a4f7764dfa82","datavalue":{"value":{"entity-type":"item","numeric-id":167062,"id":"Q167062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4287493$DB9D9303-98BB-4756-A5BF-11EAE24971F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de61a30031ada83def5fe35c26b2a988eda26b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1198234,"id":"Q1198234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4287493$919B0CDF-26CD-49A7-A219-F1528780FAAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f372641ec08eb7e207a747fbb409927d029ac18","datavalue":{"value":{"time":"+1994-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4287493$E3FB44DB-0F80-43ED-8F27-D09E2A77D012","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287493$0D720AD6-E682-4B7D-9DE4-FB729B5522E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287493$2338CF28-16F9-42F5-9D1A-AB7C794E9031","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9f50e4909ff6bc45e6433a23ed22bb0154616b8","datavalue":{"value":"549974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287493$12CD4B31-A732-41C2-BC81-E8D8DA95B307","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287493$0240F3DC-7770-498E-90D4-CFE6740991F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e94525ee9ddac27acf6c5c07b63dac486114f332","datavalue":{"value":"disunification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287493$AB0BF2E7-86CA-4563-BC36-20F333E34C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2246c43c630873f08faf8c795a9333d68fba0839","datavalue":{"value":"simultaneous search for a refutation and Herbrand models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287493$EAD9E2B1-4917-4D65-A955-62AC890A4B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85295ee326b9766bbd004e6f5555fe26c030625","datavalue":{"value":"extension of resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287493$67738387-81B9-40F8-8C55-A143D85ADC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea41350879795bcbaf685c64753d1904d3cf508","datavalue":{"value":"equational problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287493$66C49B64-AA69-4227-9556-173ACB42F0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287493$C92A7060-F84D-4BEB-B686-01A32F8D5C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9147733faa695fed81c2d875b84ade06f21bacdc","datavalue":{"value":"model construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287493$FE30F9F9-8257-4B28-9D05-7A5AC7A58B75","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":"Q4287493$1A4A81DD-8ED8-4855-BFAA-846EEE7CE277","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f939051c0b6dd102f2cfef6d5647ea66dae7a025","datavalue":{"value":{"entity-type":"item","numeric-id":1198235,"id":"Q1198235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3868e21703ce40da865088df95b043960ba8b087","datavalue":{"value":{"amount":"+0.8622670769691467","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":"Q4287493$B00F26AA-5CB1-4A06-A9F7-2B9FECBFAFD2","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":"dd0f4a0505cbe63e119309b450cf748b9558617d","datavalue":{"value":{"amount":"+0.8561508059501648","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":"Q4287493$271BCB76-4B4A-4A72-BAF4-F141C9F087D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed32eaa53ae73a8de46e4edcabc20770f515e96","datavalue":{"value":{"entity-type":"item","numeric-id":5210763,"id":"Q5210763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df334fcdbafbaf9e5beb2922a908e18ea86bc1f","datavalue":{"value":{"amount":"+0.8364377617835999","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":"Q4287493$5BE961EA-35D5-402E-B571-AFE07FA2B59F","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":"992bdf15a451eafc02e040d950a8c4401fb1cf2a","datavalue":{"value":{"amount":"+0.829103410243988","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":"Q4287493$C67BD407-2DC8-4115-A90E-2944FF67C9C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4287493","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4287493"}}}}}