{"entities":{"Q5262474":{"pageid":7292042,"ns":120,"title":"Item:Q5262474","lastrevid":100665938,"modified":"2026-06-05T22:43:20Z","type":"item","id":"Q5262474","labels":{"en":{"language":"en","value":"Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6458850"}},"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":"Q5262474$8350F03E-8043-4E63-9DCE-9F007A643E59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9eb7b43d7f692e4aa4e28fa2ede91876481422a4","datavalue":{"value":{"text":"Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262474$1FD859B1-8111-4744-A166-CB7669FF4E25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1f7679bb9bedb95b74e0ec956fac64a749c2516","datavalue":{"value":"1348.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262474$236752F9-F526-44B7-989A-8110D63B80C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262474$E2A58202-B663-419A-95F8-CD4453DE20E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"694d2e8c67abb491571f4dddc9bef501d0565c56","datavalue":{"value":{"entity-type":"item","numeric-id":650892,"id":"Q650892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262474$F28E636A-CA39-465B-8D68-E40BE6AFF328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d4604287d09c54eee9e2f817efbc91cbdb51d79","datavalue":{"value":{"time":"+2015-07-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":"Q5262474$4FA45858-B8DA-467F-B16C-11C1AA5CC9FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"725f7971f4e22d7a2a6bf38be762931031b21762","datavalue":{"value":"https://semanticscholar.org/paper/0574e5eb45145dbe7f81c4974ae4596cafe36898","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262474$4AB527D6-0F55-4385-9E30-0F8B9C3EAA84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262474$17C2ACA4-4631-40F2-A1CB-E0E7C1895B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262474$FFA2E546-8E84-4FE2-A139-826D58012CDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62c2d7b6f40efddc7467fc700c72de817126a266","datavalue":{"value":"6458850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262474$6B1359B1-EF43-4B67-B6BE-E6375602D4D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262474$C61EA492-3E93-4267-BB16-EB6453381894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262474$9F471675-5BD8-4920-9B93-60422301E6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a69f0df29fc376f8cab44fccdf78726d7e892b6","datavalue":{"value":"ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262474$5C150E8E-3B18-40B1-906B-EC3147F52272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef580dc6ba1451aeadb852ac0dd131e497dec33","datavalue":{"value":"monadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262474$F258B4B2-93FA-4940-B1F9-4380CD4120F6","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":"Q5262474$3B383845-9FF6-442D-9262-27E1FE4D3B13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbf1fc8c1d6131d60f24601f418e355cbc0f84ad","datavalue":{"value":"W2166668863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262474$EFDFB03B-D233-4152-B5AD-50A2E6B99FC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1c2bbe25a9936447b87118414f865f2222ddfc4","datavalue":{"value":"10.1093/LOGCOM/EXU016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262474$EC42881D-E9EF-4A19-85B3-6993132489D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262474$0EB84212-6E61-439D-AD61-7F20D476F0E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60024251326da4433aff68535e6134e8e2fc76c9","datavalue":{"value":{"entity-type":"item","numeric-id":3970346,"id":"Q3970346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af2561f5f82551ad5d5071d77f983d39a5884de4","datavalue":{"value":{"amount":"+0.7682591676712036","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":"Q5262474$D81793F8-996C-4255-B109-24439C523C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9430167a2d56fddacb222fe5bc24cd9c16d8f2e","datavalue":{"value":{"entity-type":"item","numeric-id":4896535,"id":"Q4896535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ba4a5036c8a410c9cea0ee7e990187257198af","datavalue":{"value":{"amount":"+0.76262366771698","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":"Q5262474$C019C815-DB3E-4EB7-98D4-78D43441DC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db3ab7c26d0095420abbbd1e3190dadec672d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1770592,"id":"Q1770592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace9fa7caf9a4b7fab82fa47850d3bc7134f6316","datavalue":{"value":{"amount":"+0.7572818398475647","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":"Q5262474$99142813-6458-43D8-A683-75110B334E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad387bb91aea289b46103fdf638050e404fdcd3","datavalue":{"value":{"entity-type":"item","numeric-id":1344873,"id":"Q1344873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6550417de1998d9e44ca5af904c312ede6c045ad","datavalue":{"value":{"amount":"+0.7508930563926697","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":"Q5262474$A1960D25-3A1C-4E30-B453-21C7961977AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e12ba556c830815c40b8efd4a610e6563489c3a","datavalue":{"value":{"entity-type":"item","numeric-id":817691,"id":"Q817691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"903086b850579da604a4078a1b6e31e32b03bc69","datavalue":{"value":{"amount":"+0.7499478459358215","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":"Q5262474$99D9699D-BE8E-4149-9B02-0DD01B4FE215","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences","badges":[]}}}}}