{"entities":{"Q3495342":{"pageid":5525242,"ns":120,"title":"Item:Q3495342","lastrevid":49422400,"modified":"2026-01-07T03:23:33Z","type":"item","id":"Q3495342","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4168655"}},"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":"Q3495342$904D3173-A4F3-44BE-8385-B2C3E5F94A57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20158583ef756eadb60b6f7ff3f8de9fd6d31060","datavalue":{"value":"0711.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495342$6A266FC7-BC88-4A4C-82E6-185C23151209","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed65d327f6bb6fd3dba59894c9a73e7631265bf6","datavalue":{"value":{"entity-type":"item","numeric-id":835807,"id":"Q835807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3495342$F22B47BF-6458-46F7-8F5C-F6B0A2914326","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3495342$0069CC04-D1C2-4439-AB46-6C5D93CDE78A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495342$E8E73FB3-4094-4250-B49D-BA3ABADAC666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495342$EC91037E-3699-46AF-9A25-C0941BFDB2D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ef5e0b4b66aa0d52fbddb92d7941259409baf42","datavalue":{"value":"4168655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495342$4C81924E-5015-4284-9B2F-E218D6511898","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a989a3ff0934dd82bf1342903a5629fabc580b","datavalue":{"value":"deductive system for sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3495342$C450CDC7-F44A-4E25-B373-E066A0C151D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2658b110b5e438b5f494785bf3fd6a28d0acc65","datavalue":{"value":"Sorted First Order Predicate Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3495342$BF3724DD-671D-40A4-B038-D6273720FD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a8f07d0a3bfabea17b00996461606d492fcacc","datavalue":{"value":"Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3495342$C4F19CC4-680B-4E6B-8F8E-8D31007674ED","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":"Q3495342$A5747BAE-27D5-4C5E-8182-B791195E88E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29c7814381d395adbea322ff25d2b0a23ac8feb9","datavalue":{"value":{"entity-type":"item","numeric-id":1182164,"id":"Q1182164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab055ecc6d0923397e32b750fd8eb18cf5a502a","datavalue":{"value":{"amount":"+0.8736048936843872","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":"Q3495342$D9BEC850-913B-4011-879B-77D058F9321B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae8d20f1933752ecb6dad3d3c8eff57292c1e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4013974,"id":"Q4013974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e5e93d76b48dca837e6e69229bad0c0d25eaa4","datavalue":{"value":{"amount":"+0.7588649392127991","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":"Q3495342$F4D0B16C-10D4-4DBC-98E8-504334068AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9391a23c3d66afcea3fb6420bd79b0f85dc16e58","datavalue":{"value":{"entity-type":"item","numeric-id":4536326,"id":"Q4536326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d4d8dc22f44125ec9e8d1f2c105ae68e986483","datavalue":{"value":{"amount":"+0.757789671421051","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":"Q3495342$394C9C0B-7A4A-49A0-874A-4EC79056A56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3d9bea96723af22ec8056302b480ce9b3eabde","datavalue":{"value":{"entity-type":"item","numeric-id":4261067,"id":"Q4261067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6abc569b471153bc8038bb5bd41ba435d4fbd08e","datavalue":{"value":{"amount":"+0.7357882261276245","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":"Q3495342$A4E485A0-DCD3-4915-B11F-7291E5340805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3fb984d35bfcaed6a17c6eafead4da56a218195","datavalue":{"value":{"entity-type":"item","numeric-id":1380412,"id":"Q1380412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89158492518940daf74995bad2f266f52196c25d","datavalue":{"value":{"amount":"+0.7193909883499146","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":"Q3495342$C59936B0-F230-4147-BD3D-05A1118393C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3495342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3495342"}}}}}