{"entities":{"Q5311718":{"pageid":7341292,"ns":120,"title":"Item:Q5311718","lastrevid":41274976,"modified":"2025-04-27T23:58:46Z","type":"item","id":"Q5311718","labels":{"en":{"language":"en","value":"Truth definitions in finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199925"}},"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":"Q5311718$4B8201B0-8462-4B24-8645-9C48472EF0D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31313fbf4dba5e060782d20a907ede8a0f5528ec","datavalue":{"value":{"text":"Truth definitions in finite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311718$3E4B4139-77DB-4A2F-8A30-FDF788532047","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f418e95c36bad20e4f4a0db9e2e96bcd7024edb","datavalue":{"value":"1068.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311718$874EF5A4-C652-4257-B28E-88B68F3D45C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311718$80AB5075-96BE-4055-914C-3DC3A9EE281A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bf6b2a1195bceb76e95a6eaf6480b71590f9114","datavalue":{"value":{"time":"+2005-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311718$242E1941-4D19-4CAD-8126-D27FC8471151","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311718$A021BEC1-3FE8-462E-9E29-698D372C6C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311718$A6FEA57B-6D7E-45AF-BF03-15D8CDBB5D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311718$4375448C-8549-4E1C-A747-1DE5FD6EA68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311718$AE4A15B5-CE89-4769-85CB-6C865D7CA542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311718$59F4D063-A6B5-4122-B107-283418BA8BF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bf62f79cad4262c10f6e8da11dd897e2ac76569","datavalue":{"value":"2199925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311718$43D7CA75-EF64-4109-A2E2-2F816CEFB25F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83798e1bbc00101714db436c991cc16b2064467d","datavalue":{"value":"finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311718$1DE32B29-1211-45CE-B538-83F3166AE6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"438d03335673be9d3b6cadfceade6aa3809d401c","datavalue":{"value":"truth definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311718$92CD0D1A-3345-4B0D-B4A6-BC6CE0428C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2240ef35c9580c5e394a600c31ba1594f7647d","datavalue":{"value":"combined complexity of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311718$54C62FFC-7318-4F04-9CDB-4993292AE130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e688e47ce040bee83b81c7da887839f84b1a29","datavalue":{"value":"prenex classes of higher-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311718$87A94A53-D376-4203-8441-2368A3D2D885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311718$FDEE28A2-F9FD-47A0-8EDD-13A5E944CC5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a3ffa17224212fea08254d92b99acde6ca1f899","datavalue":{"value":{"entity-type":"item","numeric-id":476118,"id":"Q476118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311718$6FAEB855-6E60-402E-AB34-32DC7B85BA82","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":"Q5311718$D40A86B4-0196-439E-BC32-9F6A5F0232A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83f1789ebaac4f5eded75b30fe273f1bde5c19af","datavalue":{"value":"https://doi.org/10.2178/jsl/1080938836","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311718$66FBBF66-F25B-4585-ACCE-67512AC16217","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4f7a2fd82ba3300fbeb7a0092d62502ba06390c","datavalue":{"value":"W2161264011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311718$96153C23-12D9-468F-9ED2-B379DD09EC1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e0c9fb5fa626e4d501dd510bcd2f95ebbda7cc","datavalue":{"value":{"entity-type":"item","numeric-id":1919763,"id":"Q1919763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311718$3D3C9DA5-86E6-49D6-AD73-AE9183DC009C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c09735a9d4ecf3c15c52f25c89b4e65e7dbd4ef","datavalue":{"value":{"entity-type":"item","numeric-id":2765574,"id":"Q2765574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311718$2D6EABFF-157F-4992-B563-0143604E5CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1524449c7d6e29d545c8698004c5a03663ea3a86","datavalue":{"value":{"entity-type":"item","numeric-id":1919768,"id":"Q1919768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311718$7D1F9281-F9BB-4569-A7C7-A7D56A0B2666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311718$34E5306A-42B2-42C6-9D31-C2A55F5A6224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e4d1410d96a72697bc890299a0753c344ec171","datavalue":{"value":{"entity-type":"item","numeric-id":1302307,"id":"Q1302307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311718$837BB675-34A3-47E4-8A88-E240A80ACB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311718$93578642-4F0A-41AC-B81B-188B3A4E18AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b0ba8b312b73672e96b47d8c144905fe030bb20","datavalue":{"value":"10.2178/JSL/1080938836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311718$57A9C0C8-1A38-447B-9480-6DFDC3F7C0C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19beb98f5bb43584f7c6fa61475da778eff2cb84","datavalue":{"value":{"entity-type":"item","numeric-id":5377337,"id":"Q5377337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6e690851f5208a455b42c627214e3d19ac882e","datavalue":{"value":{"amount":"+0.9323903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311718$A0AD7D3C-E4E4-434F-8A37-C5E7F09ACBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532b880c41d5f1031f9b887ee66f84f432edba51","datavalue":{"value":{"entity-type":"item","numeric-id":4722028,"id":"Q4722028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33b501a42df9c8091d75c82005f89e701bbf92f","datavalue":{"value":{"amount":"+0.92448694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311718$5496A3FA-C691-4935-80E8-636C70C1FDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0510aecf642d52edc28c5e63068c9f8e777abdac","datavalue":{"value":{"entity-type":"item","numeric-id":4700634,"id":"Q4700634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989169538ca3910dbbdcf8de653845bbb7056cff","datavalue":{"value":{"amount":"+0.8884827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311718$839C0767-D8E3-4066-BFD5-B30C98626B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22cb847e6e85e43736cde15eeabd2ae8b6ec6662","datavalue":{"value":{"entity-type":"item","numeric-id":5441554,"id":"Q5441554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e67e640d727b50cdb7de25febfbbec318ee0715","datavalue":{"value":{"amount":"+0.88447624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311718$8888EBF3-2576-4D50-B76B-93252AD051D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790e1eb2c8b946066e8fcc362b78011d277d945f","datavalue":{"value":{"entity-type":"item","numeric-id":3798633,"id":"Q3798633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730d704cf5487e4428af1b0a1fc3d17d24cb96b2","datavalue":{"value":{"amount":"+0.8843333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311718$6EA3490E-F66A-4ACB-B402-494F70EABC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb3e52d9eba4ead76fc3d38f26751372998aa37","datavalue":{"value":{"entity-type":"item","numeric-id":1653651,"id":"Q1653651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b388d65cf2b94b5784cd0e3f58725b5cfa5d7f","datavalue":{"value":{"amount":"+0.88383883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311718$A7793342-E823-4B4B-9E89-755A7A17C377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a167bc8564c62e1e019c82a47ec3d0b09e56ec","datavalue":{"value":{"entity-type":"item","numeric-id":3163660,"id":"Q3163660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff6760830ecf52c157ade84824bf218e6e2e519","datavalue":{"value":{"amount":"+0.8802606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311718$CD2FC559-72C9-4D26-BD7B-4743BB543168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6734ff6fd35b27c801e29d819378c6161dcc42","datavalue":{"value":{"entity-type":"item","numeric-id":3780419,"id":"Q3780419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6299a9b8492e0ab9767d2368550b8f8e175c06f8","datavalue":{"value":{"amount":"+0.87588555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311718$B773B1BC-E84B-43CD-9C66-8826CDA5C54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4379899997592c02a74f37dfd1b9081446b0c95","datavalue":{"value":{"entity-type":"item","numeric-id":2420719,"id":"Q2420719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815607c7983009a907ec7ef757c12c6d4f0d2c4b","datavalue":{"value":{"amount":"+0.87418914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311718$C1BCE67E-1EE0-4AEC-B5B0-206BA0F8165B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0867bf9888ffeda45b5873e601a1f64a0688ea5","datavalue":{"value":{"entity-type":"item","numeric-id":4566046,"id":"Q4566046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7c5dc44453d65337e4386045534c6a92accbe1","datavalue":{"value":{"amount":"+0.87269443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311718$9C92C097-208D-432A-9299-A8239A2ED953","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5311718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5311718"}}}}}