{"entities":{"Q4945231":{"pageid":6974813,"ns":120,"title":"Item:Q4945231","lastrevid":47471428,"modified":"2026-01-01T20:18:20Z","type":"item","id":"Q4945231","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424041"}},"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":"Q4945231$405B4B28-8E6D-4A4F-AF53-36324788CF7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc850302ac4168f26856236688e95ffc23393495","datavalue":{"value":"0942.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945231$B7042566-960D-4BA7-B2B5-05D893F62BFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8cf589448a57406d3670b20edc9880a9a02cf3","datavalue":{"value":{"entity-type":"item","numeric-id":1674865,"id":"Q1674865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945231$0CC69120-F685-4D68-A2DD-BAD77686BFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f9bf560707208012ae4de6042822d4b20c2d91","datavalue":{"value":{"entity-type":"item","numeric-id":1674866,"id":"Q1674866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945231$9797A34E-CF47-48AC-A1F8-B11B62FB53A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945231$EC3AD672-717D-479D-B397-112AF4DE059D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945231$4E3D8F65-FB67-408B-8E37-6C7C8EF63C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945231$57783C64-C8A0-4ED8-9678-3184DD518A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945231$928F8830-685C-4A2B-A23D-72AA930D8375","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f51e62f3df9128a2b8b0a9c17977f329cd5e868b","datavalue":{"value":"1424041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945231$13DFD2A6-C871-4FB4-B0EC-3EF9C41B621D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d78157865fb63dde628218304fba29ba5f955928","datavalue":{"value":"modal logic KW","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945231$D3542534-4FA2-4C80-9E70-4780CC691E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a2f79fb41871f279dad2f4381cc40ab550e414c","datavalue":{"value":"finite temporal frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945231$7BC9EA06-60F2-42EE-A852-198F86409044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af25ecf11cc47d378ba30a08153dd275ccdb8ad2","datavalue":{"value":"system termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945231$C282028A-DD86-4BC7-8B5A-BCA9ABA3FD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945231$75F39462-1ED8-4BD0-B02A-C80535DD817D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d6578537b6882d3fa5705d40e7d3ce1a53eed47","datavalue":{"value":"unification-based proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945231$AB1F07ED-4BD7-4A2C-9BEA-5FFDFB032FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d35dced38e3fd5955c303e9f7f4a7d34fdd4ebd","datavalue":{"value":"infinite transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945231$BC4A9490-3FB6-425E-858A-5402BA360EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"402a6841c4dff7f0ba80d6715dfe7d1046ec29bb","datavalue":{"value":"non-iterative frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945231$A6ADA13C-D3BC-48E9-AAE2-417DC526A830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945231$884184BA-B366-46B9-A72B-5C1417112739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588fe7046e7c4fa6cfcf5f49bf7209a89dba37f4","datavalue":{"value":"unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945231$4ED53501-6D5D-41DD-AB9E-D7EDD7902148","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":"Q4945231$A1710E29-BD6B-4AF7-AB20-5CFFAB5BCEED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d76af1cd1aeddd27c3af1be11af5a9e9973d86","datavalue":{"value":{"entity-type":"item","numeric-id":3315479,"id":"Q3315479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df456d7efff9ef33fdc6d619e2fdd027ef43c1e","datavalue":{"value":{"amount":"+0.733404815196991","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":"Q4945231$B0AAC025-2432-4456-AE19-09DBB1FCD2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878c40185ef8793f4b2c6b23e206ffdc354f49d1","datavalue":{"value":{"entity-type":"item","numeric-id":3030268,"id":"Q3030268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ce26334a3e953cc9eff7f18fe1f2485da66b66","datavalue":{"value":{"amount":"+0.7331315875053406","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":"Q4945231$5FA54792-06C7-4068-953B-D682CD927353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b9d15c26b6749033fccf40118c4e6935957821","datavalue":{"value":{"entity-type":"item","numeric-id":4282525,"id":"Q4282525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c42e4832e94b538c7e7e291a7f4ce513f681fa","datavalue":{"value":{"amount":"+0.7325976490974426","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":"Q4945231$52E9E73A-8FEE-45CB-B3AC-E2A02F6AF59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b6bb9dc551ba9a220b7a51f14cd07bdd3a25b7","datavalue":{"value":{"entity-type":"item","numeric-id":3704917,"id":"Q3704917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2ec2fd89560ff9cfd346e3b3e59f192c5a5d17","datavalue":{"value":{"amount":"+0.7305486798286438","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":"Q4945231$F8EEF60C-43C4-476A-B99C-514C3FCA8DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5298fdb8d2e6fd341daa55f0b2ca154afdcfd29","datavalue":{"value":{"entity-type":"item","numeric-id":3696492,"id":"Q3696492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1be8debf081022ecb7d756cbdaf1f484b2f444a","datavalue":{"value":{"amount":"+0.7226480841636658","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":"Q4945231$9241FE6F-63CC-4DF4-8D1D-E808B9417C54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945231"}}}}}