{"entities":{"Q4315015":{"pageid":6344616,"ns":120,"title":"Item:Q4315015","lastrevid":46359264,"modified":"2025-12-24T15:29:19Z","type":"item","id":"Q4315015","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 699435"}},"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":"Q4315015$E69AC8BA-ADCD-4B81-9EF5-9D5C095D3914","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1b04b5fef264de86f8c10d9f053d8b64ed8e97b","datavalue":{"value":"0811.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315015$25E69407-E19C-49E5-99F0-B52CEEBA5FEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e642d9eb7ded03d09f6ac2dbfe6d0b5a6608a4","datavalue":{"value":{"entity-type":"item","numeric-id":4315014,"id":"Q4315014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4315015$278521EC-4223-40B3-A112-BC680709C0FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7736fa8696abd897b2ab96cb60896aceef987c38","datavalue":{"value":{"time":"+1994-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4315015$A7255786-955D-4896-B751-C27243AE72F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315015$F13FEC8D-CFD8-40A2-A37C-4B3DE9D5FB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315015$C1FD62D7-3B47-44EA-992E-438B69322441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315015$344FFC89-E8C4-40B0-9A47-8DD74B72D153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315015$58E76CF8-C54A-4485-88D1-362D4F12009C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315015$825D0376-8070-4044-B642-7AD7794A502F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0f1b33ea3fe4b86ab9417d542bdd89bb354b588","datavalue":{"value":"699435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315015$E3A55EE2-9C0D-4862-B674-C9E0EBFE6438","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315015$A3EDF962-68D8-4934-A7BC-2F0297E1A4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b2a94b4c5a8cd6ebd3f27db62a6b4388d0fb469","datavalue":{"value":"logic cube","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315015$BE66C2B3-F1AA-4694-821B-85DDCE4BE3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49740d11f2ca42abb2212f8e0e649aa705368dee","datavalue":{"value":"propositions-as-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315015$4BBBD999-1D66-4D10-A559-7E654BA12669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315015$9DC2BAD2-E989-4BB6-81C8-F3060E58EAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f546723443d5b126386a19433554e73cd6ad7a","datavalue":{"value":"belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315015$80DE642F-8294-4726-9036-28FC14D2E687","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":"Q4315015$4BACEB2B-954A-43A3-AC0F-F0A51ABA2502","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43136c15ae2e3429a8ea898176b874536389e27","datavalue":{"value":{"entity-type":"item","numeric-id":1289102,"id":"Q1289102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba60bfee2fc7dae603a8b11508e5ee02b99215f","datavalue":{"value":{"amount":"+0.7909446358680725","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":"Q4315015$E4951455-3951-4B1D-9E45-EBFB68962C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f06da4b53186e75586473d6005361473c4e0c552","datavalue":{"value":{"entity-type":"item","numeric-id":4833770,"id":"Q4833770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613cf87896dd17eb37238ca131341a197151070f","datavalue":{"value":{"amount":"+0.7815374732017517","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":"Q4315015$9FF55890-EB9C-4A78-AD4D-DB00A5A3384C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f1417ecd20332477df146b867dcab0a3e142dc","datavalue":{"value":{"entity-type":"item","numeric-id":4951170,"id":"Q4951170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299320df8e6900cb39a15f45e623986c4bf450ef","datavalue":{"value":{"amount":"+0.7666640281677246","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":"Q4315015$B2B1EF93-8DD4-44D7-BC7E-8BDCCA6AD3A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4315015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4315015"}}}}}