{"entities":{"Q3343429":{"pageid":3354137,"ns":120,"title":"Item:Q3343429","lastrevid":46005367,"modified":"2025-12-21T14:13:46Z","type":"item","id":"Q3343429","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3878348"}},"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":"Q3343429$5BC54C9D-B6A3-4AC4-96FE-51BD32D63715","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79c27856e88ec83de1a5b4c6ad704d12eb9dae26","datavalue":{"value":"0551.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343429$EE802AAE-CDCA-438F-926B-1DFCA2FBE378","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df3dd90bf8150cc86ec6cf068d061afde632f05e","datavalue":{"value":{"entity-type":"item","numeric-id":913813,"id":"Q913813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3343429$167139FC-6193-4E9F-B566-7579F60972CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8124976778a8742ad47f4813c985423b0264ec9","datavalue":{"value":{"entity-type":"item","numeric-id":409254,"id":"Q409254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3343429$BB890535-A44B-4EDB-AA21-D1AF2E49947F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3343429$CD34B752-9FDC-40F6-879A-53B42D49874E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343429$2935A60F-78B1-45C4-863E-36A474866D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343429$BB117E7D-594B-460B-8A8B-9312D5B074EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343429$BE4AE20C-D7C7-4AB9-8868-318B9226E4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343429$C0F6405B-847C-48FC-9BC2-5558244C6547","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1969f4d83dc0998e61289fbf0f8ebc1df3b1a78","datavalue":{"value":"3878348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343429$DAD46037-E989-4366-BA27-89748336BAF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3343429$86FF1BEF-7D55-45C9-8695-8F8750F3A698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6af65d7535a8fbb7d6c22c75741089109e73556","datavalue":{"value":"dynamic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3343429$6F275C74-1246-4E9A-94A5-E07CD97C8F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1f0d27252943c69918255fb4a5432c37fe30788","datavalue":{"value":"test algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3343429$209471BB-1908-48A2-AF3D-37228892365D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fe14137166e2eef9ab43af054a90dfcc5c7dd4a","datavalue":{"value":"equational classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3343429$CFFA450A-B09F-4305-B07D-23664437B58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"889052b26c5439cd7702dc4f5907641c71707f71","datavalue":{"value":"Kripke test structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3343429$2EAA5426-02CB-4381-B3B7-6DB985B84606","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":"Q3343429$6ED6F966-06FC-4639-927E-88E913D07877","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee4cc84d4324a84e2f9233a950778faab14a1a9","datavalue":{"value":{"entity-type":"item","numeric-id":1095141,"id":"Q1095141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ce56a182f11b1cae45585c8598da331c758f04","datavalue":{"value":{"amount":"+0.9582504","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":"Q3343429$388C3F27-882D-4C95-857D-C22D336290C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a773c3ff664cae401b7aaee67df5350cd40fc8","datavalue":{"value":{"entity-type":"item","numeric-id":3318100,"id":"Q3318100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3357d1e8cf51fdd0cb328a8298d7b00be8fb2dae","datavalue":{"value":{"amount":"+0.8763694","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":"Q3343429$EAFEB63C-4B57-4A95-9E1E-E204D305C92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e8dee105db8c8231ccba17e0125b02b2f48ea38","datavalue":{"value":{"entity-type":"item","numeric-id":5756670,"id":"Q5756670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccaa080eac0632ef52c419eeb00189b22e79dc24","datavalue":{"value":{"amount":"+0.8756422","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":"Q3343429$6A99AEB2-617F-4A71-B98B-7FF078A73B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4511baccb6882fb5c1aea53968957726cfbbc2a","datavalue":{"value":{"entity-type":"item","numeric-id":4218938,"id":"Q4218938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe756bea5442336cd9e8346f77da4d2d6ba740b","datavalue":{"value":{"amount":"+0.86772555","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":"Q3343429$A71E508E-FE2A-4C62-A3FA-1552B9BA82CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7939eae48f32b34c98cd1a2c79d70d31a4b83510","datavalue":{"value":{"entity-type":"item","numeric-id":1341742,"id":"Q1341742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee0dffc0b8fb805731dc31105fc838616603675","datavalue":{"value":{"amount":"+0.8665789","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":"Q3343429$6E262BE1-5C97-44A5-BF91-D14678D1E6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2337f63657bead5b56d0f24eceaf33426fdbcf75","datavalue":{"value":{"entity-type":"item","numeric-id":3299849,"id":"Q3299849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570241edcebce8df9ef74da4e98dcaebdf549220","datavalue":{"value":{"amount":"+0.86589813","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":"Q3343429$B0D6F4C8-F813-4202-AC72-FF196FA0746B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d47b8cf280e43654c6d700fec8c975ce5f84e75","datavalue":{"value":{"entity-type":"item","numeric-id":3750107,"id":"Q3750107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d2b1ddbaa4a00c6578bfafe46cb16c1025287c","datavalue":{"value":{"amount":"+0.8655771","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":"Q3343429$8E0BCB1C-5A95-45BF-A88C-03E67909430C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d809dc983514754a06f332fcd21e2e8c0f81961","datavalue":{"value":{"entity-type":"item","numeric-id":4273477,"id":"Q4273477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb05ea406e6d4462636cde3d87e3b8c0eee8bc8","datavalue":{"value":{"amount":"+0.8626726","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":"Q3343429$76E5CF4B-1AFC-4107-A96F-1141227E1F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ee4ce52b71ca8f6a929824f6cd15595d7bcc33","datavalue":{"value":{"entity-type":"item","numeric-id":1189900,"id":"Q1189900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16f437449f75808a071d054645cd3381b01d0d1","datavalue":{"value":{"amount":"+0.86100954","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":"Q3343429$BA0D801D-BDA2-4621-B143-11F77692872E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3972056e7d9d2e5e722189f37dadd59c300904","datavalue":{"value":{"entity-type":"item","numeric-id":5313104,"id":"Q5313104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bff0d13dad145bd87f2d2f74ffefc905b48477b","datavalue":{"value":{"amount":"+0.85862786","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":"Q3343429$6950650F-8003-4940-9014-433F211581EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3343429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3343429"}}}}}