{"entities":{"Q3708781":{"pageid":5738687,"ns":120,"title":"Item:Q3708781","lastrevid":50512598,"modified":"2026-01-14T06:18:49Z","type":"item","id":"Q3708781","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3935011"}},"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":"Q3708781$D06C773E-F64D-45A8-9978-CBF8553D8518","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bbe9c7e2535cac0f5049fb1f36321f5eea0df41","datavalue":{"value":"0584.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708781$680F19F1-EFD7-4766-9225-5E51F112A9AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3708781$327B08F0-099B-4A9D-BDD7-EA5DBA9EAF84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708781$8CED3070-4A25-4A9C-B7AD-7DB6C7816EFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea81f6fc7b9ba6146ff942f985369ed573d712c9","datavalue":{"value":"3935011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708781$1AF221FE-CD68-4915-8D4F-BBC942699CFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b9a3d386426d9368439ab333fcccc5c62594844","datavalue":{"value":"consequence operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708781$1044FEAD-63AE-4F5D-B46C-675C8F79E8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a37a713890aeed8a221d0b40fb4dae4c0b2e3d","datavalue":{"value":"implication fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708781$6262ACA7-F78F-4FA5-BE84-9DCD2F670FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"985ae7bc3695d008450e4b28fafb00cc87cfa8a0","datavalue":{"value":"Intutionistic Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708781$E09E6C8B-1C4E-46CE-AE9E-5E88D4055BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3080daaa929e6199859e9208d8af1cd6b06918e","datavalue":{"value":"consistent implicational extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708781$8CC49189-0B93-4F39-AFDA-7541E9610B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a80dfaa8ee8f77b672d0bc8e6161cf5207fffc72","datavalue":{"value":"structural consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708781$FFF952DA-2110-47F1-8628-F2E31537EED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3188a7a0a7cfe10da6fc4604f7d946ce5a07feb2","datavalue":{"value":"strongly finite approximable","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708781$9ACC06E2-3488-41A5-ACB2-EFDB42361E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708781$51B8506A-C142-4393-967F-B39DAE7E79A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c338f93c2a1a4ab7dfbb04101583cd552335e1b6","datavalue":{"value":{"entity-type":"item","numeric-id":798646,"id":"Q798646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708781$FD23F3B8-079B-4970-B5D1-B70737096132","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":"Q3708781$A75D8308-54D4-4615-983D-A27B4E396157","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f614b006be9b8cc0fe26f81debf7b539e810830c","datavalue":{"value":{"entity-type":"item","numeric-id":5754455,"id":"Q5754455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf57cc2b32f87336da54dee6d99c9b5de771dbc","datavalue":{"value":{"amount":"+0.8920889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3708781$2223D3F2-408C-41C2-AAD3-ED18EE9DD156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8e0e23eaee46ee09151339d4b2fb3031cd468e","datavalue":{"value":{"entity-type":"item","numeric-id":2748738,"id":"Q2748738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87838c808d169cd550cd5d13dbbc03e42df5a93e","datavalue":{"value":{"amount":"+0.8896965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3708781$63F0235F-D9F2-4FA8-8833-052108BEA4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d21f1a3072f0899be2fc0616ced4002a707b17a","datavalue":{"value":{"entity-type":"item","numeric-id":3338238,"id":"Q3338238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7acece195d72281500f254d49997815f4aad5264","datavalue":{"value":{"amount":"+0.87700224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3708781$7FBC7B99-FED4-4523-92F9-6687E2DADF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d3b7db382bf0f0ceb521bb7aa6280904d7d294","datavalue":{"value":{"entity-type":"item","numeric-id":3218107,"id":"Q3218107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab3eab3232236ec01a71ba662608b00d7505622","datavalue":{"value":{"amount":"+0.8735364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3708781$AF7AC626-7473-439C-BF79-5803B96B3190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32adbb07749b37ce68fa8b803658ab6f73e20c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3794150,"id":"Q3794150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f52769238a7eb2287fddc4bec9dbecb181d1ef","datavalue":{"value":{"amount":"+0.87259215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3708781$C92D7671-9923-4F4E-8EF3-6938402875F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167a6ed26871a52422908a403b9552ef4fbf5f1e","datavalue":{"value":{"entity-type":"item","numeric-id":4821863,"id":"Q4821863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8559d15994c0ea87cc1358e103ef76c12c483ac","datavalue":{"value":{"amount":"+0.8723908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3708781$7E1F1847-6360-4A50-8987-842CD225AA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1dea28c40ff54c09c69d8c230884513fa532bca","datavalue":{"value":{"entity-type":"item","numeric-id":5855500,"id":"Q5855500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbf5b115beea8528ed2eeab445dfd77291610e4","datavalue":{"value":{"amount":"+0.8713547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3708781$F4A925BA-7FB0-4BAC-A2A1-9A32548083EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9705ca0abf61fd1b48f53c322f9fd0e6615df1dc","datavalue":{"value":{"entity-type":"item","numeric-id":4443190,"id":"Q4443190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25a312ba197a04c28a8476cdc68794ce0a0da98","datavalue":{"value":{"amount":"+0.8713319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3708781$C7321CF9-62FA-4A49-87A1-1FA4C06B75A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a8b5a73e07c9431d0b8c061c7fe9ad7ed40012","datavalue":{"value":{"entity-type":"item","numeric-id":3781740,"id":"Q3781740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8818c4ef57271876046b4680ce06f463ce11dd60","datavalue":{"value":{"amount":"+0.8690525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3708781$96AAD7B5-9AE9-4B1F-B9AB-6726BEA3B74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352257cf796302043f14803cdbd955d135962283","datavalue":{"value":{"entity-type":"item","numeric-id":3726084,"id":"Q3726084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3125caebfb2a49aefa7dc2b9279627bf3ba453ed","datavalue":{"value":{"amount":"+0.86720735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3708781$14EF9EE5-928E-4320-ABD3-854B131A2456","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3708781","badges":[]}}}}}