{"entities":{"Q3340194":{"pageid":3350902,"ns":120,"title":"Item:Q3340194","lastrevid":48747355,"modified":"2026-01-05T18:48:04Z","type":"item","id":"Q3340194","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3874657"}},"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":"Q3340194$EFFEFA4F-2ACF-4704-BBA1-6E185F217672","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40f9f5a1d83a048f5ae656c037b5e5090643d9ee","datavalue":{"value":"0548.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340194$472CA96A-C0F3-4D51-AECC-BBB66DE9E8DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef7ba0ce11196b5a7064db8600c76cb06dfb05a8","datavalue":{"value":{"entity-type":"item","numeric-id":3210887,"id":"Q3210887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340194$BCF6459D-43CC-4410-A43C-A58957661F5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3340194$A79ED997-AA6F-4075-8FBB-074764A7A9F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340194$B73ABBCF-C101-4456-B0EF-3ACC2222B53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340194$439BB9A7-D884-4940-99A9-4F26B4D8FF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340194$86A5E84E-010D-432D-9EBB-BDFFBE6E8B7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df12f85865a5cd09137fcf9748ec4eab135e13a3","datavalue":{"value":"3874657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340194$14589395-99E2-4B4F-80AA-5B8DA42561F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1db3621c9a84436cfeacd6e98c6cfd5d3c39ce3","datavalue":{"value":"Gentzen type theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340194$AB1B62AD-C973-4BE5-A6B7-479D7376A286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6e2fb2726e4fa02bd81a23a65511d456730634","datavalue":{"value":"first order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340194$D0F33DB5-EDCE-44A1-B6A6-B1D5504AFB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79944c4da94bd21996e44736c7773036470d3754","datavalue":{"value":"unvalidity of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340194$F45A0AA3-8AC8-4963-B822-8C06C5BC4578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4339e1135ab4289c28b1ca122320e36a9e0d1bd","datavalue":{"value":"loops in infinite search trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340194$6B0CCB3E-167A-4C30-803A-AD3B42FCF316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340194$D2D2A79F-F49B-4E0A-9D73-7DBF75ADD5A8","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":"Q3340194$CF0B73E5-42CD-4F83-BC7C-8E96046CF728","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7b96b100b354f3d2aaaf468c5027db281cb541","datavalue":{"value":{"entity-type":"item","numeric-id":5290079,"id":"Q5290079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1e39a6288586c82067fa473ec2321101f1fdd1","datavalue":{"value":{"amount":"+0.7426283955574036","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":"Q3340194$6C2CAE40-EB77-44DE-B40A-CD1C418E602A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3328acb14c381645dbb1f9eb31b744a4a34bbbc0","datavalue":{"value":{"entity-type":"item","numeric-id":5210762,"id":"Q5210762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22771645633594decf560b6e31ace7f5f6bc3e34","datavalue":{"value":{"amount":"+0.7338112592697144","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":"Q3340194$2158536B-FC05-4CC6-AC94-F1518DD45393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9358413721e77b1b71dd8c03613b6261264d0bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3408129,"id":"Q3408129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68dd428a4227be656c179fcb4a344ff0dd730674","datavalue":{"value":{"amount":"+0.7329749464988708","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":"Q3340194$D159EBBA-6560-45D2-A57C-5EB4007879A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be59899f1c5070152f1be6bf1cc78a0b2b15c08","datavalue":{"value":{"entity-type":"item","numeric-id":3484382,"id":"Q3484382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ef0fef4431c362fd74e8d5dff92854abd19a86","datavalue":{"value":{"amount":"+0.7301664352416992","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":"Q3340194$F01BD9E1-B86E-430A-848D-67E803F28592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ea492ad089cebf714da2333d8f038a608cc26e","datavalue":{"value":{"entity-type":"item","numeric-id":3654817,"id":"Q3654817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0294d507b570a97de1dc22ccb22c122b070e98","datavalue":{"value":{"amount":"+0.7253944277763367","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":"Q3340194$5D32907B-ADB0-4F14-BD0D-996165BD8421","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3340194","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3340194"}}}}}