{"entities":{"Q3699665":{"pageid":5729571,"ns":120,"title":"Item:Q3699665","lastrevid":50361005,"modified":"2026-01-13T21:41:01Z","type":"item","id":"Q3699665","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3924749"}},"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":"Q3699665$56089CD3-448F-4520-A4D4-CBAC2EAEBAC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79e0e02d102d2f6ccdaec1cdf043dfc8ca65eaab","datavalue":{"value":"0578.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3699665$602575E8-D1F8-4196-9345-2B34647EDB8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f1574efd62e02a1a35bee8d9e65e6651b30b20a","datavalue":{"value":{"entity-type":"item","numeric-id":809067,"id":"Q809067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3699665$9144BC3F-3461-450E-96BE-FA1BA9F8A054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2491a851057e6ca7600156e437800ff9f139cabd","datavalue":{"value":{"entity-type":"item","numeric-id":604450,"id":"Q604450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3699665$3163E398-DE57-41B4-8E30-1665C75034EF","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":"Q3699665$8E14691E-B1BB-477C-ACA6-BA72A3751F47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3699665$14D046A4-8249-488A-8484-42EDE37796A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3699665$57984067-83EE-4F8B-B72B-418625331652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3699665$D1F11696-9B72-4A69-A824-A828CFED8206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3699665$D1D54480-F03B-4697-9823-9E7D17CA5B1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc0418098ff31341c315626682c3089e252fda6c","datavalue":{"value":"3924749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3699665$256F61C8-5400-46F1-A955-2814A31F72FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699665$BB1C664F-C0F7-4F56-9F3F-FBA88923A935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f81379066ece36e70914cb0ef738c1eeebaf4ab9","datavalue":{"value":"Combinatory dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699665$066AC681-42AB-437F-B9D5-29CD8ADF7F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8060eb7866594c8cdee9ed6be039cf84053dd58","datavalue":{"value":"data constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699665$6AB3559F-9732-4AED-A385-2966D69AB9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699665$057C0EBA-FC0A-4528-9D89-D1B3F67BB34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8062d4a1eeeb5e08f848ae1fee36c598b5bb81d4","datavalue":{"value":"infinitary axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699665$64EC2057-C924-42D2-A61B-C8CF7E0EF856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699665$0FA3ED85-71BD-4241-9303-7F91D2B1EF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c157597593ef892a2cb6f5ba831f118e29c2579a","datavalue":{"value":"first-order definitional extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699665$A8109C98-0D7E-4827-A136-C7C0C661DE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699665$AB38C8F0-0348-4BE5-A119-DF50B7F4C1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9b5770c193981d1cf5e0fd068a5cd8c74bf5fdc","datavalue":{"value":"finitary system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3699665$980BF50F-73F7-4491-9FF0-57C0DB8221DC","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":"Q3699665$7EE72059-1E20-4620-AE40-B6F443329E68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8223060fa5e389e877efc22bf464d51a6aa5f56","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9eeecb0403463586f3325b838ee48abfd0816e","datavalue":{"value":{"amount":"+0.8403195142745972","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":"Q3699665$11F7FC37-712F-4784-9DBF-199D4FA17622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0fa55d5312a1d70d4a3e8917164edba8e2a018","datavalue":{"value":{"entity-type":"item","numeric-id":3760521,"id":"Q3760521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ddcb802bbb734dbfafc73c5b7afafdcb1b325a","datavalue":{"value":{"amount":"+0.7873299717903137","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":"Q3699665$004C894E-4270-4A9C-B575-90F90DE3E86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5161e70e2a34646dd831d3da7f66fa24716b2321","datavalue":{"value":{"entity-type":"item","numeric-id":1065545,"id":"Q1065545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fa9d8d16cd4ee8709e5519d249f5e7b89ac0bf3","datavalue":{"value":{"amount":"+0.7806524634361267","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":"Q3699665$3422A648-07B9-4449-847D-D60D0BA515DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be7832648067ba9f6ea233fadce1b854a0c6a33","datavalue":{"value":{"entity-type":"item","numeric-id":1267078,"id":"Q1267078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50631cae284843e09474eda45929eabfb74b3aa","datavalue":{"value":{"amount":"+0.7676975727081299","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":"Q3699665$5C95F184-B241-49B7-A18E-DD36FE17616E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcfbe2ac44a0dcc2f5957fdd3687861fdc199a5","datavalue":{"value":{"entity-type":"item","numeric-id":3617722,"id":"Q3617722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22a0c740f88fac1c8a15b209dde2ed0168af5dc9","datavalue":{"value":{"amount":"+0.7675287127494812","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":"Q3699665$F020D504-8298-4806-A8BD-6AD3BF464EDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3699665","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3699665"}}}}}