{"entities":{"Q2500486":{"pageid":2511229,"ns":120,"title":"Item:Q2500486","lastrevid":49897015,"modified":"2026-01-11T19:43:41Z","type":"item","id":"Q2500486","labels":{"en":{"language":"en","value":"Referential logic of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047255"}},"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":"Q2500486$0191F891-420D-4B03-AFB1-A1EF62CE5846","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cfcf34ca49939ab19c73502b252dead8cc0c424","datavalue":{"value":{"text":"Referential logic of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500486$B4D78057-A126-4643-9E27-44E58C8F8E09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b41ab3a21d2b4653c2f7a4395fc75ed17718438","datavalue":{"value":"1094.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500486$4D47557C-E5FE-4B46-890D-6801BF1C35A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$359484B1-3151-4EAE-BF29-C6E8E060FABA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500486$D3EE9710-90C5-48C2-BB65-8B5E439D6A19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500486$D1F47629-3FEE-4F3D-8E6C-8DACF17E8D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500486$9EC70373-0A72-4C59-9122-EBD491B35108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500486$4C190F89-75A6-48D6-8E77-6B1EC858DFB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ae5577358951b980fa25f312357f1820533a364","datavalue":{"value":"5047255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500486$353401EA-BD00-43FF-96B1-CBAA738009B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500486$7B6C3D54-1A90-4245-BAA7-25A8FF87679B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a26a271d33d72fe20f2b4a2133c9d868293a599","datavalue":{"value":"explicit modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500486$4442F6DC-5EF8-4DBF-9721-AC7E002CFF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a2d088408a72044f14acdef53661d7c442de18","datavalue":{"value":"single conclusion logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500486$DFB5FCFF-63A4-448C-9560-6C8FBD157ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb3100754a4a6d00fd4f42625ce2e1ccde7811d","datavalue":{"value":"proof term","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500486$56E83B06-8F6C-493D-9049-C9E1A5FDEB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6328123beeab8d8ec1f2129672a31d02a9313b5a","datavalue":{"value":"reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500486$E2007710-6086-4EA8-8656-AB3DC8BD0724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500486$914477CE-4116-4D35-B952-20910EB4AFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cf532abd57dc8f8a321cfaf4e769da8decc72c9","datavalue":{"value":"admissible inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500486$7117F23B-1B6F-4997-8324-8074E4AA9243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"236d314360d1ca35fd503497e2066b03a1b28586","datavalue":{"value":"provability semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500486$0D96008E-7427-4121-B59A-73F49736574D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e292fd46d1d7fbb245a80944eeb8caa59f97daab","datavalue":{"value":{"entity-type":"item","numeric-id":785961,"id":"Q785961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$4A5F3D02-5D28-4C8D-94E2-DC3C59C6A309","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":"Q2500486$DCFB3419-8F15-4D4D-936F-BB75974B37BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af9866fcf4ffc0f8940884cc7b292e802220950a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.03.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500486$1F001E9E-C99E-41D0-9DD1-9D594A690596","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a7c2753a6ace3650ba6e1974b63a229e9ada14f","datavalue":{"value":"W2155410891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500486$E15E8DD9-DF56-41F2-BFF4-D06BAF446C5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"204b29a27f5014465bbf18a836ac1d7e769ef5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$65D103A0-A831-405C-99A4-69883D87D882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$0128E1F0-8B44-4C90-8F93-ACA0C43B9190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec34286d094046d4e5290c752ab0869bd40e0615","datavalue":{"value":{"entity-type":"item","numeric-id":4501133,"id":"Q4501133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$511A82B6-337E-4A38-9C9C-C38E178AF735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35cb7af4d44872eb1fce32bf7b0f6855890ad5b","datavalue":{"value":{"entity-type":"item","numeric-id":1919761,"id":"Q1919761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$EA3E8E40-B369-48B1-87B6-803F08D9E1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8194921897d74a0be3c0f11ec56cfed1890aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4534366,"id":"Q4534366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$47BDAD55-0923-4B8F-BCAF-73440C8FE4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51768587580df242e6cb7b0adb85696edf98554d","datavalue":{"value":{"entity-type":"item","numeric-id":5906606,"id":"Q5906606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$E955F298-EEB7-4FD9-8012-0B35DE0AAC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdba4af064cab5f0d5d2b05f43f44c0bd28a3bc","datavalue":{"value":{"entity-type":"item","numeric-id":807609,"id":"Q807609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$9C42CF45-3A29-4E4A-A82C-1DC0E92D6A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$567DBC6A-94B7-449F-BED1-5CB2DF32DC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$3EA91917-D7A5-4F09-B704-D5A1CD881517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195ddaefdbeb162faebee071a6ec419bddf444f4","datavalue":{"value":{"entity-type":"item","numeric-id":4376057,"id":"Q4376057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$FA95DC7C-CFFB-4A0B-91A5-6F5A87019295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b707ea6aeb6789674e09ff2dfbae760974c8632e","datavalue":{"value":{"entity-type":"item","numeric-id":5957913,"id":"Q5957913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$B2DE3602-5124-4BAA-970E-3CE793695797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fe320a8e2945a982156f6d4f3d5b1f2e3ba92e","datavalue":{"value":{"entity-type":"item","numeric-id":2753686,"id":"Q2753686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$F714FF71-0AA4-4A62-AFF1-8C86E4923C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$DC0C495B-E4A4-4BA4-A607-D240EB067892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$51EF2892-B6A8-4ACE-B41D-326A29C27D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$43007545-B534-4B66-AA73-B31C25D2CF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$BE7011B9-48FE-4DA5-A40C-001AC15E5834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$EFDECF7A-4A1D-4EB6-9A91-8D578F535A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d83f622216b0194c6c8b8942be8845bf75940e05","datavalue":{"value":{"entity-type":"item","numeric-id":4242483,"id":"Q4242483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$AD09264A-9A82-4F58-938D-4B33FC8243B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05c212d9b2f2f5cee9fbb040ff36e19f686b49e","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500486$27424BF8-9EF2-4A90-A3DF-0C03C9AB2AF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec44ad5453ef99fe5c35cd518f1d5a7fb62342fe","datavalue":{"value":"10.1016/J.TCS.2006.03.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500486$926F1C94-567E-48AD-884D-FE2949C37E73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b89b84c9849a461725254fda73679b2b24412e1","datavalue":{"value":{"entity-type":"item","numeric-id":3431965,"id":"Q3431965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8935f64591655748daf78a267904dce056ef79d","datavalue":{"value":{"amount":"+0.8998902440071106","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":"Q2500486$1EC1957C-910D-41BB-A3D7-D9D3F99B70A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bade1c4d4b8c83dc9273b03a9c5e330219392210","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9203f29e2be17263fa6e53125f283c691f988d2","datavalue":{"value":{"amount":"+0.8020594716072083","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":"Q2500486$F495B81A-08D6-4DE9-86F6-62DEBDB15282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121f9e2ce3f64d7b853e7d0e3a801cfe0453f321","datavalue":{"value":{"entity-type":"item","numeric-id":3173324,"id":"Q3173324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d668c20fd83089974af5c2e16c3131ce71f83da","datavalue":{"value":{"amount":"+0.7891842126846313","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":"Q2500486$C38B1F13-10EF-4DA5-9CE6-7BEAC197ED00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dccaccc521147cc7b8d8115bf724de734a15384","datavalue":{"value":{"entity-type":"item","numeric-id":2500485,"id":"Q2500485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac5d1176d4303db81c2f85d80770e61d906ad9d","datavalue":{"value":{"amount":"+0.7889122366905212","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":"Q2500486$7AE6B6BF-B8A0-41A7-AD4A-EF230518DF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90ab663875c7c8317669cbfa1f597cc59f7ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00de5218b186a15cdf1e57bade44429412a30c4","datavalue":{"value":{"amount":"+0.7864869832992554","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":"Q2500486$C8C3DE80-8D0A-4832-9764-C2862A3800CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500486"}}}}}