{"entities":{"Q4360107":{"pageid":6389706,"ns":120,"title":"Item:Q4360107","lastrevid":46959540,"modified":"2025-12-25T22:42:14Z","type":"item","id":"Q4360107","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1076963"}},"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":"Q4360107$569F96E4-68F8-47EF-961A-656649C760F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7864bdab05b2e74a80805c8a6116061c959a76cb","datavalue":{"value":"0884.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4360107$A415EF5B-2046-4C0E-9394-C7B551C85584","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"175e1867270d4c13bb5f65f329aaf1190c0572cc","datavalue":{"value":{"entity-type":"item","numeric-id":669781,"id":"Q669781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4360107$E7BFA1D0-3F76-4C85-BEFD-83373910F7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4bccdf7c2b388b6e3e888805bc1f0030b29c7b","datavalue":{"value":{"entity-type":"item","numeric-id":1403341,"id":"Q1403341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4360107$A6D906D9-913A-4C55-A320-CCAB4C5BC3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"043b77db0c51d3789f284af5f275c7a673442b59","datavalue":{"value":{"entity-type":"item","numeric-id":587084,"id":"Q587084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4360107$CE27B580-D5FF-44C7-8EDA-213C82674E74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91876c0ae2fdf3d4b98e339829630a9e4f67317c","datavalue":{"value":{"time":"+1997-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4360107$AB06DFA6-9E8C-47C6-8454-16250C227E3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e43f22dcc8da1c93537c68190f351d0cdcba075","datavalue":{"value":"https://eudml.org/doc/39103","type":"string"},"datatype":"url"},"type":"statement","id":"Q4360107$C22D9CA0-BF8D-4F48-9886-321154D33276","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4360107$9864E5A3-38CF-4FF8-A64F-DEACF3D07076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4360107$4E0808D4-B6AC-4155-8368-A032749BD6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4360107$5FDB174D-0150-415E-8BD3-042426E8BF6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbaec12153daf02d3de4c3aba3b57d30cb309798","datavalue":{"value":"1076963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4360107$C3F9CCE0-9F8C-4A5E-A41B-DFCFC783AE61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45e6a5520ab939fcecec0855e63555034a1cf08","datavalue":{"value":"many-valued theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4360107$4EBECE51-0F6D-4DE2-A9CB-B9668549FB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4360107$A70CA049-2490-4DF6-BDEB-5F1A0B4D3364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"058e7b3f30d01b2f493ee527d971099dc96270e8","datavalue":{"value":"propositional three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4360107$98323F2C-E2C4-4DC1-A2DF-40CAD0CC5E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4360107$16856856-A7E7-4CBB-9CDF-E737F7695456","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":"Q4360107$560B12FC-E1E1-4B7A-B197-1E673E167330","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0a28387918989a7a4fec9c5dbc834095dd29be","datavalue":{"value":{"entity-type":"item","numeric-id":3786473,"id":"Q3786473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842942d0e38c57eb74e84a59df913bb094ac1d21","datavalue":{"value":{"amount":"+0.8056756854057312","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":"Q4360107$466F0CDA-01D1-46E2-9ACE-28AF02D14E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6021f70475ec456907b1059df7b91dfa79a09357","datavalue":{"value":{"entity-type":"item","numeric-id":1897558,"id":"Q1897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19cc2943d3f6ad45ea5bbd36091f863331d3092c","datavalue":{"value":{"amount":"+0.774938702583313","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":"Q4360107$B9BC8380-89FE-45C5-B512-A6107E053DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d556c45247620500ddf64477701e2a84f5fcad4","datavalue":{"value":{"entity-type":"item","numeric-id":4534923,"id":"Q4534923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d19b8b324639178cd875e7fb17c7c31d32ad0ee8","datavalue":{"value":{"amount":"+0.7744211554527283","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":"Q4360107$879B20D8-F3A3-461E-ACC9-0DE257425817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7601a09b70f70662b17e50aa3b13885b9b6f9ef7","datavalue":{"value":{"entity-type":"item","numeric-id":687151,"id":"Q687151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa4f8693208483f97433f3b120d383831e5d9ad","datavalue":{"value":{"amount":"+0.7669154405593872","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":"Q4360107$AD41C009-A0C2-4DC8-8092-8E065AF20ABF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4360107","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4360107"}}}}}