{"entities":{"Q1266019":{"pageid":1276769,"ns":120,"title":"Item:Q1266019","lastrevid":42991816,"modified":"2025-07-16T16:43:39Z","type":"item","id":"Q1266019","labels":{"en":{"language":"en","value":"Solving problems on finite concrete logics with the help of a PC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1196983"}},"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":"Q1266019$3CD0ABEF-6366-4FD2-AAF2-B0173199262B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be830cf6d54ded538aa17c2155a4e8312f3bed6f","datavalue":{"value":{"text":"Solving problems on finite concrete logics with the help of a PC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1266019$F4EC7374-1C38-46DF-9719-7015E87AD94A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adc141cf2f95755ab3c0dbb03a75b1438c77b915","datavalue":{"value":"0904.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1266019$8C404C02-4507-4405-A329-D0B3A65A4190","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b706c51f584e113f305e2751729783b29ca8d350","datavalue":{"value":"10.1023/A:1026694013057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1266019$24731BE7-5E78-454C-AF49-B41EFDD4E62F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2993845162a52fae8352b200f55985d55f13133","datavalue":{"value":{"entity-type":"item","numeric-id":1266011,"id":"Q1266011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1266019$F9A5A8A5-370F-4804-8F37-E83EB8199C16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1266019$FFB79FCD-E0CE-4D24-A85B-7CB3089930C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5451c4336beee9334761b879ad3d3c365319b6ed","datavalue":{"value":{"time":"+1999-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1266019$46BA89D8-582A-43CD-8887-7225FB5DA245","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1266019$C8FC3179-7A98-4A1A-A86A-6CEE2D60BAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1266019$6A27434A-BE01-4C69-A728-D15B43E0C49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1266019$A33FF39C-CE1D-453C-B610-65071DB46F03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"729b16630c34761a1a4e3db2cb9df3aaa6e52638","datavalue":{"value":"1196983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1266019$C54BCE41-DDA8-4F51-AAF8-72AB175F44E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a44b4f8416ecfc597944eb5b4b1f3bc8ac2b4f","datavalue":{"value":"Turbo Pascal programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1266019$02AD7944-A9A7-4048-BC25-4C97648DC6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cc12ab2f4e4ebbb020af9c491936199a20ed1e1","datavalue":{"value":"orthomodular posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1266019$A665B45F-CCB3-49EB-BFED-864CE25A3976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1266019$B230858D-8264-482A-9BD2-BE2DFDAE369F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffa46cd8462c02cfcd197a31c432c42077da0ff","datavalue":{"value":"minimal representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1266019$7953BF0D-EE76-4BEA-8534-C50140F3451B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5b33f354f45ba97ebe5cc17236ae01ef2d2b38","datavalue":{"value":"atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1266019$22046119-FA38-4879-8256-74FF99C43A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e3992213f42ec448fd1744d868c429754118e0d","datavalue":{"value":"blocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1266019$72999898-8339-4CD2-AAAD-5BA576CDB901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c3cf0758829d7dc787918040c9519a61df7a03c","datavalue":{"value":"finite concrete logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1266019$C11EC4D7-8F1D-4628-8D0C-0713A45D9D59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bd5b8af91c5315c73ce1903af72c27c2892e525","datavalue":{"value":{"entity-type":"item","numeric-id":28321,"id":"Q28321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1266019$8D209A69-4E58-4183-8BC1-5AFC55CED062","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":"Q1266019$131274F3-90F1-445C-A67C-A90489B18E49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99e25917160f75d7c9cf9010ccbd1aeb452b865b","datavalue":{"value":"https://doi.org/10.1023/a:1026694013057","type":"string"},"datatype":"url"},"type":"statement","id":"Q1266019$FAB4C7BB-41EF-49A6-91F2-598F31B92B81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e54b58efc21d8853cd2dfc50e2e660f87895827a","datavalue":{"value":"W102323749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1266019$F0D31E8A-89E1-4F70-B396-181389D8E4D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3caab9149e9e6d78e14fdc76a58d9add3e34c800","datavalue":{"value":{"entity-type":"item","numeric-id":4029601,"id":"Q4029601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369db163a9d6fca25cf38a047056deb5adc1606f","datavalue":{"value":{"amount":"+0.8736274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1266019$262DA864-844A-4F78-8B38-3C6EAD750DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617f83765831aded3bd5f9b2487b1fec9a1974da","datavalue":{"value":{"entity-type":"item","numeric-id":4353622,"id":"Q4353622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24c14e776c74a1aeb3f8bc5b81c71c7214781cbd","datavalue":{"value":{"amount":"+0.86892974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1266019$F495421E-9B02-4A0E-9C91-923BBBC0E6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e21703316029a48f680ce4628a2ccc610d2a76","datavalue":{"value":{"entity-type":"item","numeric-id":1924787,"id":"Q1924787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f553e9cf43998c4aa7b038cbb8c98eb17d5aff5","datavalue":{"value":{"amount":"+0.8682068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1266019$DB0EA51F-5FFE-4044-99CE-2F126BB99D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430dd206dd8a23e4d6f9019a0a1e7772e4551c87","datavalue":{"value":{"entity-type":"item","numeric-id":4842629,"id":"Q4842629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2d1972123fe8f827de37e8b0ab7d5b53a3507f","datavalue":{"value":{"amount":"+0.8675558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1266019$EE957283-4CCA-451E-A4A4-8A35ABCB1076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9daa31305a4bb90d1e56153327610de4f5e0a142","datavalue":{"value":{"entity-type":"item","numeric-id":3495341,"id":"Q3495341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44300a94248795163c8473ce7c9ee2d5529ac011","datavalue":{"value":{"amount":"+0.8629215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1266019$8FA80EE3-AD62-44EE-AE31-97089C4AE466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d93bedac32f49ef29840872a51a1b74b8fc181","datavalue":{"value":{"entity-type":"item","numeric-id":5961490,"id":"Q5961490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2ef2cab48920ef433d9ee408652ae91291fbde","datavalue":{"value":{"amount":"+0.857093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1266019$1C732097-B0CD-4BD3-8189-70B727D46137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fc3512c59ddd456dbe86095dead2a780ae8735","datavalue":{"value":{"entity-type":"item","numeric-id":3613351,"id":"Q3613351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c2ae7d0727d1e5fa80eba1d7fbc6e2881a7afd3","datavalue":{"value":{"amount":"+0.85664755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1266019$1F0E2F01-692C-49D3-8B00-55F9530C7F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c12e453d11a389c47897f0553e6007a77670f20","datavalue":{"value":{"entity-type":"item","numeric-id":4245929,"id":"Q4245929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71967104d85483e015ac5f7c4c40755a5b4f2eff","datavalue":{"value":{"amount":"+0.8526942","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1266019$CEC60774-4826-4365-A316-F3F235746131","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1266019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1266019"}}}}}