{"entities":{"Q3008387":{"pageid":3019111,"ns":120,"title":"Item:Q3008387","lastrevid":51268514,"modified":"2026-01-17T13:02:11Z","type":"item","id":"Q3008387","labels":{"en":{"language":"en","value":"Implementing a relational theorem prover for modal logic K"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908192"}},"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":"Q3008387$593C9CA1-71C1-48C1-A9DE-D2B25ED25997","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfb7529763d8e52f866c27a300239c87e2488a97","datavalue":{"value":{"text":"Implementing a relational theorem prover for modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3008387$25604F86-F90C-4445-AA59-7EC299689274","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c493170fdaae02055da78aadd4a021e3e507915","datavalue":{"value":"1229.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008387$498E87BF-C0B0-4408-A6A5-84F2686AFD80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9aeef7dd48e67a1f25ed6e8d5185354ff51ba3a3","datavalue":{"value":"10.1080/00207160.2010.493211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008387$6DC8DA98-B2C0-4987-9554-5B12AE7D1B5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"521234494bdae7b26940ef5cddbc24c353586822","datavalue":{"value":{"entity-type":"item","numeric-id":246590,"id":"Q246590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$BAEA7294-8907-4163-B3AA-B0F735D01411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2822ecd71563ec0897253c83fa7ead655a842154","datavalue":{"value":{"entity-type":"item","numeric-id":313005,"id":"Q313005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$1BB17163-E016-491C-BD62-E164F0344CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f466985cf8143741f29cc3aa6e4e8a4f57c99","datavalue":{"value":{"entity-type":"item","numeric-id":284217,"id":"Q284217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$ECA851EF-B97A-4663-B6DC-3F25B1A42E22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$EC1E3DAE-E6BA-4601-AB1B-1B4ED36EB830","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04f456b7978a84082d01cb786803df58ce3a680c","datavalue":{"value":{"time":"+2011-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3008387$EC214C85-5B88-4B00-9276-3E150B843EA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008387$BE21BB78-9BF7-4090-A4FB-C07C1B47ADB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008387$6462B9C9-3662-434E-A749-5FA0BB1A0A92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"348f1e3f5a685c83f93b4dbcdccb9ba348c4b918","datavalue":{"value":"5908192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008387$C11F1E6C-51C1-40F4-BDBD-12BF4B9AA50A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008387$EA4FAA2C-CCB8-4091-AF48-7F487BE1AF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbdb85c6cc89bebe11d7c6ce2cac65d460c21ac6","datavalue":{"value":"relational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008387$FB63331B-F70F-4E5E-A8B8-54298A20C90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed26029ddf9bcc00b2d826485f988af799761574","datavalue":{"value":"dual tableau methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008387$EA9556B6-4B61-43AF-B0C2-F24359135CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008387$F628073E-4646-4E8F-80C5-C14C3174A0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008387$D2B0F0ED-04C5-4AFF-8254-6740072C440A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccd1d0bb2717360c541381c661e7bb40d86b318","datavalue":{"value":{"entity-type":"item","numeric-id":21962,"id":"Q21962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$E1A57007-17E2-442B-A213-1227DC02A495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9291db8f6f24de7d39d503e17e069cd87b7516e8","datavalue":{"value":{"entity-type":"item","numeric-id":19701,"id":"Q19701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$4C414B99-1DA4-4FFA-88A3-9ACBB4D17E61","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":"Q3008387$FA86F156-0612-456B-A274-FE85F9AC9092","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8c2d202fb6e4a51f781ca2a6dbc584ad2da0652","datavalue":{"value":"https://doi.org/10.1080/00207160.2010.493211","type":"string"},"datatype":"url"},"type":"statement","id":"Q3008387$0A7DCC56-FB1B-4EC8-83CE-BF010F43E4DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77d57e5fa65a95b79e836c74cc2e8ecfe0746d8c","datavalue":{"value":"W2009739854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008387$657522B3-95B7-49CD-89D1-CB9CB0E8BCB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e380982c2315c5c9c85c937475d680d04b4be09","datavalue":{"value":{"entity-type":"item","numeric-id":4982114,"id":"Q4982114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$6E5390E8-EB39-444D-99EA-C6A60D1C59D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e53da32486790a095eef7f63d85c2068ec9b28","datavalue":{"value":{"entity-type":"item","numeric-id":4982121,"id":"Q4982121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$0FE3A24F-42F4-4C8E-8AB3-B3BAB0402B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7672984695ebd8205b2327d3a9eb3180fc9209","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$B266A986-36E1-4A21-824B-6868BA6C6889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f9608b13e21870d0ea96a60dac80597e508d93","datavalue":{"value":{"entity-type":"item","numeric-id":1904400,"id":"Q1904400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$4AAB0A92-49AF-4B4C-820A-B500F3F378C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ce8514ebfc1211604d330592f3d53605d483c","datavalue":{"value":{"entity-type":"item","numeric-id":3647240,"id":"Q3647240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$518BAF7A-AE53-4DED-BDFF-714466E1BD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fce7f4eef845e9105fc8bbd4368ed63058423e","datavalue":{"value":{"entity-type":"item","numeric-id":3643171,"id":"Q3643171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$1D6E93C7-0346-4A57-9D60-7A6FDA4F485C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2099ccaf8f47d5a145352cb97a36dd9a9417be0e","datavalue":{"value":{"entity-type":"item","numeric-id":1576385,"id":"Q1576385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$538E6D52-660C-4551-8CBF-2E553E9F6637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c49571a210fd59073b28ed894b45ba1e37b0378","datavalue":{"value":{"entity-type":"item","numeric-id":3647245,"id":"Q3647245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$0DE53796-0B6E-4FC7-951E-121A9DC213B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22079cca31baf46f0c232a32b5641e597aa8ae39","datavalue":{"value":{"entity-type":"item","numeric-id":3643154,"id":"Q3643154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$F17AAE5D-9113-47A9-816F-29E9C336D2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9cc7a572956ed7a0382840eb52a4025962f91ba","datavalue":{"value":{"entity-type":"item","numeric-id":3391741,"id":"Q3391741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$2AF71624-9CEF-485B-B115-ABFD75EC897A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2c7cc7b2d47bf46f32d0ac80e3de2ee92593d0","datavalue":{"value":{"entity-type":"item","numeric-id":3000420,"id":"Q3000420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$D41BD626-BA37-4F73-A60A-10A137A6E0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22f258bcf684e873fb03cd26b86d4f19a806e14","datavalue":{"value":{"entity-type":"item","numeric-id":3541686,"id":"Q3541686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$80034EA6-3A86-4642-9AA6-51393A916B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a194178070cd3c5ad9a396baf8f7db21f82fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1853457,"id":"Q1853457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$B7AD8F72-4D27-4C71-94E8-380650E53491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595c8b1dfa02519b9bc0d4750f00a276e02ef5a6","datavalue":{"value":{"entity-type":"item","numeric-id":1977576,"id":"Q1977576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$1F77E2C4-FB03-48C1-AF80-4030ED4A135F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$4131E2A9-5AA9-44D2-ACEE-04679342EB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d60b044b1850ce2096965e6773060dbf47e3c64","datavalue":{"value":{"entity-type":"item","numeric-id":4032669,"id":"Q4032669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008387$70F42C2F-2642-4E30-B9F5-4D4602815987","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1334e3a218fd215d442bfd9d984ae09e2b208b","datavalue":{"value":{"entity-type":"item","numeric-id":4922857,"id":"Q4922857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10df974f027e4f559c8146384b31a7eb834961ff","datavalue":{"value":{"amount":"+0.8024346232414246","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":"Q3008387$79A32AD6-D6BA-4CAF-8DDA-F57A3AA73F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54faef99d63028e810e99ec9c56f449005733c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2303247,"id":"Q2303247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb170e513ddfa1b8b2632427b3530587e5c09d48","datavalue":{"value":{"amount":"+0.7734358906745911","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":"Q3008387$98D21764-AB98-4969-81C2-3CDFB532BAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0070f198188188a05d47f95f4d06f1e231693ba5","datavalue":{"value":{"entity-type":"item","numeric-id":4539633,"id":"Q4539633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a67c2d29922944d92c3a5a5d03afa77ceab137","datavalue":{"value":{"amount":"+0.7687979936599731","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":"Q3008387$65AB58EC-FB24-4172-97DC-80E80E41C8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea8be0b09050452eed3d38dcaf9ce4181d9bb17","datavalue":{"value":{"entity-type":"item","numeric-id":3647245,"id":"Q3647245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d2225e1f1d0e82410120b1522280a321b1ec84","datavalue":{"value":{"amount":"+0.7632655501365662","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":"Q3008387$22857884-C790-44FD-B327-B09D99ED5427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744371660c658fb84a725b95e8293799ed9af911","datavalue":{"value":{"amount":"+0.7625840902328491","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":"Q3008387$458A1C43-7738-4FBA-8C10-E1BBC3619ADB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3008387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3008387"}}}}}