{"entities":{"Q2462682":{"pageid":2473425,"ns":120,"title":"Item:Q2462682","lastrevid":50226587,"modified":"2026-01-13T14:09:55Z","type":"item","id":"Q2462682","labels":{"en":{"language":"en","value":"Finite models constructed from canonical formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5217137"}},"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":"Q2462682$2236754B-1280-40E8-B38C-A65E663C558A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b52b56fb4dde70b4a677638b0b07bcdb29ca625","datavalue":{"value":{"text":"Finite models constructed from canonical formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2462682$DC3E844F-D037-4F65-B037-27F8C38DAC02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"006f27fc087cb1b665eb12c9728dfc18c17527c0","datavalue":{"value":"1132.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462682$A52CCB34-8E34-4D8B-B0C8-429C38C35AC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f061899b2b82dcfb68452d0e393f9f5a06fe89d","datavalue":{"value":{"entity-type":"item","numeric-id":168598,"id":"Q168598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462682$4B65CE0C-D2E6-4838-AE37-89FD1EAD864B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462682$1F41EE06-E434-4958-B8BA-599C6500AC0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9fa6f2f337ef8352aec632547ae6f1ca832f426","datavalue":{"value":{"time":"+2007-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2462682$E42B20C8-DB91-47F9-B13A-263CC7B5335A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462682$AB9F6A6A-8DC1-467E-9DCB-A5A1EE535B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462682$4E2432C2-4875-443F-A37D-1C4A5F5956ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462682$CABB7192-28A9-41AA-B2C6-F06AB9BF96BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f41759348a1e04023961f70beacebaf3575ceba1","datavalue":{"value":"5217137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462682$99BCCDFC-E1F9-4BE9-A279-EF0B018B61B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51124987f945f195e7074c1a0e02b6cc0f18ce04","datavalue":{"value":"weak completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462682$0FEB20D0-0A47-4B42-8F54-DF176A091A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462682$60A48B0B-7377-4BB0-AF40-700CD0DE0B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462682$D9251860-348C-4358-93CD-CB523B09E881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a4c0bd71ddbeb204dda3eaccd4225a9221827e","datavalue":{"value":"general model-construction method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462682$12E781BE-0995-444A-86A9-284E0B41F26C","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":"Q2462682$2E2F7302-FCD2-4146-B61A-2D3702D37D7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5103cd63acbbfe224d5f77cc41363de9a87e974d","datavalue":{"value":"https://doi.org/10.1007/s10992-007-9052-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2462682$53B96072-4B99-4A0A-A37B-445EE47CDD34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d43eaf0bb4431cef8d2a4d2b86a2643350ddf03","datavalue":{"value":"W1981194978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462682$73904637-3569-455E-A258-352DF82AF5E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462682$F8DC617C-4B32-4C53-9163-4495B98FD6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a9eb08fc90c83f2b9f9e481072b744228123b0","datavalue":{"value":{"entity-type":"item","numeric-id":1267083,"id":"Q1267083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462682$BC0E4707-E8F5-4963-B28E-5C69D69E6123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462682$C8916758-A869-4153-8EB6-6C1A5D89657A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7e0536b29168e39de471af102be2b186faa1e1","datavalue":{"value":{"entity-type":"item","numeric-id":1346245,"id":"Q1346245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462682$8945C51E-7834-416A-8AE2-84B7E4663914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db83eb424ff4edbcf359071f1340559aa485af8","datavalue":{"value":{"entity-type":"item","numeric-id":5614644,"id":"Q5614644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462682$1DE77C54-B5A8-47F2-B0B1-855D0F8E7F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462682$346CB02C-477D-4C25-9AB1-723D1695F6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388059eda9a17b0b479edba57d823ec6363add7d","datavalue":{"value":{"entity-type":"item","numeric-id":2350221,"id":"Q2350221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462682$63BACAEA-4E81-494E-9B6D-C7D022FBFB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462682$77774267-785E-4A75-9799-696370BA067E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50fbd433e40cd2a480a99e1a613388d7ed81aac5","datavalue":{"value":"10.1007/S10992-007-9052-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462682$EA265D0E-6D33-40B5-8739-F2E2E820F766","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e670fad4f45ddff8f45ea405512465bd00634da","datavalue":{"value":{"entity-type":"item","numeric-id":1877094,"id":"Q1877094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207dcbbadf2fe182549ac9cf515e36775420e19a","datavalue":{"value":{"amount":"+0.7804514765739441","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":"Q2462682$CAF9F789-5074-41A8-B252-CC491D46FD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9400e7b7f8bf6ccf43a7e289839943bfb5bdb7e","datavalue":{"value":{"entity-type":"item","numeric-id":5483014,"id":"Q5483014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0694f889d62a96ba197ae9f54ea8cb4378fa238","datavalue":{"value":{"amount":"+0.7701616883277893","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":"Q2462682$1D98F39C-54CA-4739-BD62-F6EC2FF37D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73321d23481ef02742cd6e5b16a9ca0b953eb270","datavalue":{"value":{"entity-type":"item","numeric-id":4032666,"id":"Q4032666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6d1daa713e087e49c2e2ba549e3b632288d678","datavalue":{"value":{"amount":"+0.766182005405426","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":"Q2462682$93F27E38-9D4C-4DB3-9B44-DE4567A89C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dccc9f89cc1c0388ec252c1099066ad638eb9d56","datavalue":{"value":{"entity-type":"item","numeric-id":3642988,"id":"Q3642988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78806abc2036334202f27fa160e50181a67001dc","datavalue":{"value":{"amount":"+0.7616530656814575","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":"Q2462682$DE20EE18-B27C-4A9B-A2AE-6465BF01BFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c970910aa478c5b0f3c67d3ca23bb81421fc1c71","datavalue":{"value":{"entity-type":"item","numeric-id":4636310,"id":"Q4636310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f40051db63a6b871b5a91b5cd453e2051a1e1706","datavalue":{"value":{"amount":"+0.7608553171157837","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":"Q2462682$365D653C-A2C7-4D51-95E9-8BCAC23F939C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2462682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2462682"}}}}}