{"entities":{"Q4549478":{"pageid":6579070,"ns":120,"title":"Item:Q4549478","lastrevid":47973652,"modified":"2026-01-03T05:56:09Z","type":"item","id":"Q4549478","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1790413"}},"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":"Q4549478$40ECDA70-F5FB-4A4F-B72F-2DECEE2433C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2995cbf11225c104d52ed772000c39ca59837a67","datavalue":{"value":"1006.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4549478$777A1DAA-3BB3-4596-BA71-167B5BD0E0A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb720d9be176b2ef12cdfd20ae546aa8a15a7c96","datavalue":{"value":{"entity-type":"item","numeric-id":279322,"id":"Q279322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4549478$078A7FFA-F44E-41CB-9685-A6118068C1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06495d01632ba6b22d5a45f72bdd01626c83468d","datavalue":{"value":{"entity-type":"item","numeric-id":419046,"id":"Q419046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4549478$2B3CCCC0-6787-4ABB-9A04-E44D25B7A27A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9a31d1239ba34237427d8bb3517c194d569b08d","datavalue":{"value":{"time":"+2003-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4549478$AB78596A-492C-474D-9BEF-E8B7C83A2917","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4549478$F2BEF296-2655-4009-B919-B65D9FD61F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4549478$ECDDAFE3-7C2C-4313-95AE-FEEA148513F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4549478$69E5EC95-4D47-41FC-9F8A-566C90D98C5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d56ae3b59b6f40864f5a50110c64086b777077c2","datavalue":{"value":"1790413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4549478$7247285C-1139-4475-AEFF-BA2920FF5CD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549478$C8A68421-1EA0-45BB-80A0-004442B85044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558e32a0884c5233110fd5a023672e91351272ab","datavalue":{"value":"Herbrand theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549478$675C42AD-C62A-4222-8D67-402A504FACA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4811ab059dac7cd621623993b69c6d4fb001171e","datavalue":{"value":"McNaughton theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549478$2314132A-774F-4A38-90AE-48F1F61A9A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549478$6DEC9192-B808-4013-A0F0-329DE945EB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549478$0BA7C522-D689-4523-9C44-69D901651AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e21aceb628d1bfed9d146ba2394d0c56cca9b6","datavalue":{"value":"truth degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549478$F527FF10-2795-4FA3-BACD-3D05CBD32F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549478$E6D9A278-AD13-4F7A-B02A-8EAC79DA4E75","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":"Q4549478$13F76118-65B3-435E-8919-7E457922F234","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31a6ed5f8d8eacd6a891c1cf265f8c2563c9be4","datavalue":{"value":{"entity-type":"item","numeric-id":3507415,"id":"Q3507415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1cb96caf85e7599563fc7316c222848f7f8918b","datavalue":{"value":{"amount":"+0.7976090908050537","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":"Q4549478$2B36A1D9-7875-40C5-9A38-2D149AC0C2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501d9030860c5dbd5c11786168c6a822bb1c6902","datavalue":{"value":{"entity-type":"item","numeric-id":1818104,"id":"Q1818104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469eca110db2968be89c3ebc5011c7b0f624f46d","datavalue":{"value":{"amount":"+0.7947507500648499","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":"Q4549478$3FCB0688-7939-4B26-9A9B-6E88FEADD1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e0d8fbee154eda62cfb024ac4cb2d1984edd18","datavalue":{"value":{"entity-type":"item","numeric-id":4351227,"id":"Q4351227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fea909b49e0c7758404403b72e366dd334a7a12","datavalue":{"value":{"amount":"+0.7781403660774231","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":"Q4549478$62B9637C-3937-4B7D-8B4D-034010F53854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e61cf3c8249a88e322a5356abfc603e916aeb42","datavalue":{"value":{"entity-type":"item","numeric-id":4302355,"id":"Q4302355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb3ed4269385529d5ac8aea3cf939ad2240f0d5","datavalue":{"value":{"amount":"+0.7734035849571228","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":"Q4549478$E563728C-2DCE-47F0-8DE7-27F4EC19FD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23363285bd1fe8b01d4abc595b5b22345d00673","datavalue":{"value":{"entity-type":"item","numeric-id":3406683,"id":"Q3406683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2e2cfc1d33722acc63b37e1a9c3303861db5a5","datavalue":{"value":{"amount":"+0.773317277431488","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":"Q4549478$58576D10-D711-4559-9A74-AA0D06625177","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4549478","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4549478"}}}}}