{"entities":{"Q3608769":{"pageid":5638675,"ns":120,"title":"Item:Q3608769","lastrevid":50592110,"modified":"2026-01-14T12:18:25Z","type":"item","id":"Q3608769","labels":{"en":{"language":"en","value":"Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523769"}},"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":"Q3608769$912831FE-A6F7-45F4-9FF4-597C721C6C15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"871c5ffa1c23fac6616c2e61f05e4bd3fa8a6b76","datavalue":{"value":{"text":"Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608769$BED8EAD4-700F-4AD8-8FB8-844613F84715","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f53e9ba6dcf34514e424443f0c97ecb8b9db007","datavalue":{"value":"1213.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608769$84254218-46E7-4D8E-A429-1AFACF3ED053","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd8754d88139cfc4ee0344debfde97c4f836c480","datavalue":{"value":"10.1007/978-3-540-73595-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608769$3DE3D42C-916F-4747-A4B0-4F060F05DAB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d2c784a556ddf8e574f659abc69e0da3e07cff","datavalue":{"value":{"entity-type":"item","numeric-id":3608768,"id":"Q3608768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608769$339E720B-E02A-4CE2-AF39-9231AFABB4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608769$17A6F7D8-E3E4-4F12-B50F-7761AB59DAC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608769$3EF2ED8B-54C4-4172-B634-1E9F90B9E8A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608769$75A9F07F-D76C-40F2-B833-719BEE365624","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608769$0E678F8F-81CF-4495-94A9-97FC898629F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608769$C6DE01A6-C206-4083-AC79-A974F0554B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608769$EE7D9B22-7768-47FB-9F1A-8831D266682F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"878a421fe50f636391eeac11a9dd29d9238054cb","datavalue":{"value":"5523769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608769$E0E5A847-AED8-4A04-9126-3BD5642D12A2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e931e3e9b122c67605faf5edb5155d9592d9fbbd","datavalue":{"value":{"entity-type":"item","numeric-id":13195,"id":"Q13195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608769$D77AC2C1-836D-4778-8C5F-489490F2CA08","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":"Q3608769$5F3138D4-8D02-4D19-81FF-1634773E1EA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9234ca2e732f68a3653f62ad4931a0b709ddf5d7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73595-3_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608769$088FF826-67E8-4449-9AE8-FCCA4615159C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"182aef6b68ab98b4ccc3c4d5e6e738c5eb663fc9","datavalue":{"value":"W2114469058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608769$9B8F3456-FED8-4238-8274-0E3147DA5AEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f295daa925ebf37a1c6a09c638bd493c340bae6","datavalue":{"value":{"entity-type":"item","numeric-id":4612431,"id":"Q4612431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995e64f960105aeeb660718e75456bfacaeafb07","datavalue":{"value":{"amount":"+0.783840537071228","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":"Q3608769$A0D65736-1DC4-4E7B-BF81-43E07C3735ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687c2a5c6256dd6cbca81f795852ca264521fc74","datavalue":{"value":{"entity-type":"item","numeric-id":3417780,"id":"Q3417780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8741f22161ba94a8f935ed008cd7220258f18ef","datavalue":{"value":{"amount":"+0.7777045369148254","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":"Q3608769$C5A489E2-CA83-40F7-B623-5349608C192D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc0c7b03c404c3987dcded0e7e7a6accf38b89de","datavalue":{"value":{"entity-type":"item","numeric-id":3066103,"id":"Q3066103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27fbd9220af8e884894ec83a3dc39fe3439706ab","datavalue":{"value":{"amount":"+0.7687063813209534","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":"Q3608769$074614B9-5D88-4CAA-B1FD-157EC4B01F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0cc8a48c38cbddbc299ce2722ea8512d0ddab33","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91a90da0f138858249a51a3bf5d9752cf2863c8","datavalue":{"value":{"amount":"+0.7669461965560913","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":"Q3608769$2828501B-0E17-4555-AE9D-261DFC439804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309a2fb3896afcd614632ddfda96b918cd9d9580","datavalue":{"value":{"entity-type":"item","numeric-id":3838821,"id":"Q3838821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f383a73a1204304e69d658cba8a6d081be24ac","datavalue":{"value":{"amount":"+0.7603126764297485","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":"Q3608769$5DC2759C-1F70-46F7-8E79-8E0619015095","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608769"}}}}}