{"entities":{"Q4703136":{"pageid":6732713,"ns":120,"title":"Item:Q4703136","lastrevid":46870995,"modified":"2025-12-25T18:26:06Z","type":"item","id":"Q4703136","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1377705"}},"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":"Q4703136$1797C7E6-48A9-4EDE-903B-402B79DF73C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2ada8e385e6b2a6c4f757a3767796d410db47aa","datavalue":{"value":"0935.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703136$788E928B-DE36-420F-904C-F25E8BE0BDF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9b74e64c72c15f453e705aa7509b76b88c8a490","datavalue":{"value":{"entity-type":"item","numeric-id":1289104,"id":"Q1289104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4703136$CAB65A25-2C98-489D-A8F9-E757C63F3FF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da3131908ff1ac1042649152f821cfef80bf5853","datavalue":{"value":{"time":"+1999-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4703136$672DDFF0-2390-4A7A-83C8-B1CF3534D33E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703136$73963358-BDE3-4FD9-944D-FE641421F58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703136$3DCDD1C3-805D-4245-903E-3C40D20DE19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703136$A7AF6F90-9A87-4EE6-AD9A-E11D90E1CCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703136$61AF8134-4BAD-48AC-9D0D-0E064202899C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d9d1bf4dc37b72a3aceadff1ba5cb1a5dc87bee","datavalue":{"value":"1377705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703136$E8056628-F726-4D9F-AB6A-8DC03F1CC64A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867edb5f1fbdfc859e4a81b4fd3af4f5726fbfcd","datavalue":{"value":"multi-modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703136$0490297C-A1A8-4D6B-885F-C233EA8FEA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10addc3fce54b7c51dbee50b5d7e58a5b53ea1a7","datavalue":{"value":"combined modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703136$871760CD-FC1B-4597-8985-B47FBE8E7F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0a06ffadbc917396a626e33a9a5489bfbfb917","datavalue":{"value":"automated theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703136$2940F84E-8C5E-4729-BA64-B4E4AB1B53E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703136$8100068E-E27E-452F-A8CF-168F35180326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dfb998a18c47c41a94818d507208c2cd1a49936","datavalue":{"value":"Beth tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703136$CA1673E0-BBDB-4CC4-9EF1-6DB4D2A5059E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4703136$FBBDA8C5-FDD3-4D49-8B27-C172E84699B9","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":"Q4703136$F9591A96-A881-46A6-BF9D-397FE5161777","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8d3eb1a93bb447ee0cb2be30b8c24f2037cbe7","datavalue":{"value":{"entity-type":"item","numeric-id":3992233,"id":"Q3992233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a77f2f503f5eca01c53870654d064eae435970b","datavalue":{"value":{"amount":"+0.7410527467727661","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":"Q4703136$EE031E13-34B8-4800-A9D5-1365DBD0C880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2c3f1d9cdf6d0af916eae57c1be76e6004b8b2","datavalue":{"value":{"entity-type":"item","numeric-id":3490986,"id":"Q3490986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fea2389fdd6b47ce972d5a372d45471e556f472","datavalue":{"value":{"amount":"+0.7302548885345459","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":"Q4703136$2282E811-A67E-477F-BBA2-7568693E386A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb90dd38751d34581c8b2c1854daff88f7148647","datavalue":{"value":{"entity-type":"item","numeric-id":1332644,"id":"Q1332644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc7a1031854eb8c1418dc4e15c4364b823a6405","datavalue":{"value":{"amount":"+0.7257599830627441","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":"Q4703136$E75B12B3-40BC-4CC8-A4E5-B12A46849516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f465eed25daf50fde0868cf8a918cafb9e29cdc9","datavalue":{"value":{"amount":"+0.721455454826355","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":"Q4703136$71C78C62-9BD0-46BA-8545-5113F6ED612B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4703136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4703136"}}}}}