{"entities":{"Q5234709":{"pageid":7264277,"ns":120,"title":"Item:Q5234709","lastrevid":36526801,"modified":"2024-07-20T12:05:41Z","type":"item","id":"Q5234709","labels":{"en":{"language":"en","value":"A new method for testing decision procedures in modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111179"}},"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":"Q5234709$672CD7D3-D352-472D-B7E3-FF0E1DCA7C07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c5e2d23a1ebd14b9f146325ae1e48acd630ebc5","datavalue":{"value":{"text":"A new method for testing decision procedures in modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234709$2E29D8A3-BEAE-4BFA-BEED-81A3DD04A6DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e06522c49a42de56cd3cb30a36211032b609d50a","datavalue":{"value":"1430.68409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234709$2E25C3A5-CC05-4C4E-BF9E-5CE4491686EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a94cd8d2f710993e4996e47cace4aa5fc2a978ca","datavalue":{"value":"10.1007/3-540-63104-6_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234709$18068118-2507-4C54-8AEA-AC0C9B9382A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d7fa45906cb357c6ff423972530aeccc52e2dcc","datavalue":{"value":{"entity-type":"item","numeric-id":329421,"id":"Q329421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234709$7EADEB6F-2764-4584-9353-5AE8F141C761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234709$13CFE50B-5D2A-46BB-A5C1-CF3DD0E6402E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99809ed495e654999be3f275423a0ba7027d3b10","datavalue":{"value":{"entity-type":"item","numeric-id":219437,"id":"Q219437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234709$260EF8A2-D1A4-4B05-AB3F-E41B0CA0B81D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3860a2f9767fdefbee4661adcdc84432183bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5234680,"id":"Q5234680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234709$2204E6FE-04F5-4EBB-B552-B3F918E2AE0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5234709$255F5027-06EB-433D-B299-BBC40B9F8950","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234709$540A9014-BB00-4AB0-9CA2-8833B47988C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234709$4993B02C-0E25-4513-BD80-8D3EFB63B347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234709$C9E56A06-BF9C-4F01-9E0B-5EB4F7ABEF8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef9cebf63b49fb51cdde7a22d6298cd0599fd4e2","datavalue":{"value":"7111179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234709$2810126D-98D5-4C34-B7E8-360E568E5CA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e1fdc457ecf54ed3bcf9b3400c96ffa8edd4c0","datavalue":{"value":"search space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234709$32B05113-56C5-4D94-A03F-3425A770466E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234709$6DE396C6-4027-453E-8CEF-9704477C2731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234709$A1C3456E-D3DB-4837-9138-FDBE5EEFB41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf72ddf6a874ee2514632a35c7cc602d31c39305","datavalue":{"value":"modal depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234709$FDCE0B2F-A8E6-474D-BAF3-190FC29550CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7be7507bc08054ffa8ff449da98524849d4d3fa5","datavalue":{"value":"propositional atom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234709$74EBD171-5966-4BF4-8447-7698DF54FC14","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4fcbbc12ff0cc07e406341b97e062f2fb672fc0","datavalue":{"value":{"entity-type":"item","numeric-id":23614,"id":"Q23614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234709$791EAD40-82BA-499C-AC90-C9907ED30BEB","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":"Q5234709$2ED1A566-B635-4B42-A964-423C9F4688F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcf34efe3e8e0c26f02bb3be0a8b4b96c8d8c8ae","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234709$FD83112F-29F3-4825-8538-63C866C418E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12e38831b0eebe0b6344262f2f066a659c903f1f","datavalue":{"value":"W1569966280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234709$8CA154B6-73AB-43BF-9B26-ABD76994C5B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e02e9c674d233134ea38fb41ce14c527d11d38","datavalue":{"value":{"entity-type":"item","numeric-id":4431379,"id":"Q4431379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234709$474C11EA-5A28-45C6-BD19-19B5CD6BE24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925f5ecfa5a7f28801d04e2a0a5dc023244c9dab","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234709$AB29DA87-8152-46CB-BE88-D6E4078CBAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8576e12ead1260620241f1c154a798ed23413350","datavalue":{"value":{"entity-type":"item","numeric-id":4835516,"id":"Q4835516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234709$A1C57C91-1EDE-4DBD-B059-557B0A407ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dc21616495510372343ba5d18598addacd13ba","datavalue":{"value":{"entity-type":"item","numeric-id":4647549,"id":"Q4647549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234709$4DEAD0C1-8958-4C85-BDC5-131DB476E1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269af113feb3632279464e025fd9f9d59e022e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1855229,"id":"Q1855229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234709$37D1E6B8-86A2-4DE2-A7A0-797FD774B8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234709$EEC6FAF2-A60B-4FCE-819F-1894BF37ED74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49347a96ea5f7172477fd3a5c9b8312b90cb768c","datavalue":{"value":{"entity-type":"item","numeric-id":3101335,"id":"Q3101335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234709$D10A3F5D-4375-45C9-A929-D0B7BE4B58E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"144c5dbf0f002f6663b3a18704ada90d96d5cf46","datavalue":{"value":{"entity-type":"item","numeric-id":1342216,"id":"Q1342216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234709$087A7FC5-6557-4B59-9A90-D146A5BFAAC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5234709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5234709"}}}}}