{"entities":{"Q805267":{"pageid":807115,"ns":120,"title":"Item:Q805267","lastrevid":77861015,"modified":"2026-05-06T10:13:30Z","type":"item","id":"Q805267","labels":{"en":{"language":"en","value":"A fuzzy proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4203764"}},"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":"Q805267$08635F11-A39B-41E8-9963-BD5744920B8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"044a0176a29af65839da98f41352e660a334621a","datavalue":{"value":{"text":"A fuzzy proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805267$7EB8950E-BD5D-478A-8BD7-6D646BD726F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a319bc5de6bc3a26dd360e88d5f277d49fac066e","datavalue":{"value":"0728.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805267$0C8964C9-7A7E-46F9-A18A-C49B511ED5E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d5339a8d6590eea4d8631ba71d6d7ff8cfadb97","datavalue":{"value":"10.1007/BF02946568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805267$7A23822B-F9E2-4FDA-8CBF-54BE48C17159","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df01385b59cf8cef3cd2910e4aae5bc5607a7c6f","datavalue":{"value":{"entity-type":"item","numeric-id":805266,"id":"Q805266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805267$87F3EAD4-8088-4055-A328-C6664CA15FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b954af2402f966e7979f77edd6ac5852966f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":953904,"id":"Q953904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805267$356A5D72-F8AE-4071-9F7A-29BD4DFC483A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805267$FE00C30C-5FB6-41BA-B3FA-8DF7CDB4CB64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q805267$2CCFB6F7-D3C9-4FBD-8DA9-C4406E538AD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805267$B5F6526B-9E39-44E7-B79E-6710C543991B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805267$563C321E-BFD3-41D5-90DC-3D4181A9FB91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af534d43b2be6d3adc62678c6af24cbd225df2f3","datavalue":{"value":"4203764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805267$172808F4-BDBD-4BF9-BBCC-9A16D34AD6FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f384098e8f2ae4ef2ba4576b8d375f29034500","datavalue":{"value":"Horn clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q805267$91165B3F-3DA9-493E-B6F9-A98EAF814EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00396b58798b8ab332f2ab1079852570d826da71","datavalue":{"value":"fuzzy proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q805267$4772519F-3852-44DA-8434-19D5364CD41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8d0a2d150e8d3c4cb2b9cdeee5bb05c8750f1d","datavalue":{"value":"Herbrand interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q805267$B65BB786-24FD-4A80-AB90-B7856622AEED","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":"Q805267$8067A918-80D9-4A81-B770-6936C50C4221","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805267$E9B925AE-04D2-4FA9-9013-67FE237387AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8d08c1cc7ec9d6701294bdc3bc72acd36e8c58","datavalue":{"value":{"entity-type":"item","numeric-id":4131064,"id":"Q4131064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805267$95646E40-9673-4231-BF6F-A2C7CB23206B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1907e41bea6225f11ca6f8ac5a775ca37acee47a","datavalue":{"value":{"entity-type":"item","numeric-id":3491001,"id":"Q3491001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805267$D70405D8-5384-47C4-8881-6E392C6A735F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12a7fd23a87a86752f981b52e789fba53cc42f67","datavalue":{"value":"https://doi.org/10.1007/bf02946568","type":"string"},"datatype":"url"},"type":"statement","id":"Q805267$D9E7276B-CEFD-4BED-9602-49694CFAEC6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cd72b041c192e5340a265e3d4904f5791bb8b1f","datavalue":{"value":"W2085088174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805267$6A58A921-E6CD-466C-89E8-3EE60F3FDE73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b78728b8a4ce732be03e827c9d3c951912a8b06","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4873ede236f7da3205150a4a8dc1abe9703f5a90","datavalue":{"value":{"amount":"+0.9480275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805267$82CA14AA-1D64-4A89-95AD-011E4898435F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a259fbfb30acd7b9afc84c9da75c6b84c460e69","datavalue":{"value":{"entity-type":"item","numeric-id":5406034,"id":"Q5406034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2a43f30478594ccfd475bb77d52c04d5049910","datavalue":{"value":{"amount":"+0.94377977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805267$6C77FDB6-E9A0-4A13-BD4E-FFB4C23FC1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee14aaaa558f787ca2df8773212157f816a32d7","datavalue":{"value":{"entity-type":"item","numeric-id":1778065,"id":"Q1778065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a82c8d2bb60da289352a1ae927aae5af9accd47","datavalue":{"value":{"amount":"+0.9026248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805267$904A04D8-8963-40AB-BA1B-3E8D8E1AB82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d0477bc9ee647bc5ab1ea06275c456a520675b","datavalue":{"value":{"entity-type":"item","numeric-id":2580956,"id":"Q2580956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a5cfc54a82c0520ed6d8d03cb21854add61354","datavalue":{"value":{"amount":"+0.89685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805267$490006FA-3D02-4230-A0CA-9BA5D8079C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d55158f18b04ef72f2b9eb1aab2ae849d5d81f0","datavalue":{"value":{"entity-type":"item","numeric-id":4218100,"id":"Q4218100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac9dfde3066737a8d2b543587a853921425b60b","datavalue":{"value":{"amount":"+0.89217347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805267$94AA1C97-FD6C-4192-A9CF-72B5D710A21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bebefbe2e9867ea780f10cd2c2000f380e13099a","datavalue":{"value":{"entity-type":"item","numeric-id":2320255,"id":"Q2320255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77920db5bccfcff20a59f760f7a2ccf38444eb3c","datavalue":{"value":{"amount":"+0.8899605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805267$FC18C163-2A88-4299-B2C6-D78BDD1350FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3ea0ee9bad611740c703cd36a57d490ae103ea","datavalue":{"value":{"entity-type":"item","numeric-id":1319449,"id":"Q1319449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b40e3410e4013809dfd5297936dfafac73befe","datavalue":{"value":{"amount":"+0.8833014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805267$556B8061-F845-4789-BB86-0F67C5B53109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31a9def2a8829ff065201a39a1c9d455a18836e","datavalue":{"value":{"entity-type":"item","numeric-id":4549477,"id":"Q4549477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b40e3410e4013809dfd5297936dfafac73befe","datavalue":{"value":{"amount":"+0.8833014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805267$9F18C31C-08EC-4E9E-ABCA-5AF34ED8E581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe9f0ef0979364eab7c5de855aea9a186e9d4039","datavalue":{"value":{"entity-type":"item","numeric-id":915730,"id":"Q915730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82459d5b01a4230f4ebf1bc484527b2f7002bddc","datavalue":{"value":{"amount":"+0.8814063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805267$CAD0CB18-EE95-4F17-BBB3-FD9E98FA90AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce4f56530e35e332cb488c416a18c7568c80bb5","datavalue":{"value":{"entity-type":"item","numeric-id":5285146,"id":"Q5285146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"947127ed614cec91bf8efd9c99f4a1c7ee45f0c0","datavalue":{"value":{"amount":"+0.87990594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q805267$B9B4A10D-79CF-44A5-9109-F37FB8D388D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fuzzy proof theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fuzzy_proof_theory"}}}}}