{"entities":{"Q3219755":{"pageid":3230463,"ns":120,"title":"Item:Q3219755","lastrevid":48777061,"modified":"2026-01-05T20:22:39Z","type":"item","id":"Q3219755","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3887063"}},"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":"Q3219755$725E1214-96B9-471F-B370-2CCB6BBA3BC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fde74be926132439144736cd28ea038ebb2f30d5","datavalue":{"value":"0556.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219755$147F2204-F9D1-4D5E-AF1C-1BDA56786F74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc3c605b9b59bdb12f73165661ba40779746f0ae","datavalue":{"value":{"entity-type":"item","numeric-id":1119629,"id":"Q1119629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3219755$DB1D3225-C31E-49F8-81EE-5D78710AD4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3219755$BCAFA62C-AC85-4989-B7BF-DA38FC7E74C9","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":"Q3219755$CBBE7370-EBA3-4FF8-AD45-4C738BE100E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219755$BC29B9EA-DAD8-4F15-B950-5EBA49021DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219755$8DBFA5A2-B02E-46B7-A26A-57A907C4F2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219755$68BFD6E3-8F17-449C-B09C-56BFA2765CB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3593b54917fa4c44b1b398b7760e9915a7b99c6","datavalue":{"value":"3887063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219755$1D0A2CC0-16AA-44A5-9858-75F82E38640A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219755$CDF4E344-4D08-4608-992F-8AC76ED2E13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b89d65a1f87e71f5b185569b846d38062edb03c1","datavalue":{"value":"propositional logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219755$CDC94B9C-DFE6-4629-824F-F48A2737DF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219755$007B8856-51C8-4E27-B799-93B7FB139827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a6ac4b750ccb5249d2f74b6d7c34c917396f145","datavalue":{"value":"PDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219755$1124D82B-9D56-4667-88DB-9234BBF54C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5223da67cbef8f7c588222f1d60c82fe73ec3378","datavalue":{"value":"Game Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219755$BC0DBE91-62B8-49F1-A758-81E3F9E0A14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b13ed056cb50872e0271f7ab2a225e3e0ff6a74","datavalue":{"value":"looping construct","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219755$10946731-3B50-4A41-9DAE-F11A1BAD8B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219755$0DD26289-702E-43B7-AC60-0B0BA5E0EF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7d063599eb6935bb25ac11601b73c8ac0a892f","datavalue":{"value":"small model theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219755$B35C43B7-9918-4784-AC90-71AEA6C9AEC4","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":"Q3219755$749CB81D-65AE-437D-882C-BFDFEAEB9BC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15dbcd0986c293938847a5682be97aca7449887f","datavalue":{"value":{"amount":"+0.8797404170036316","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":"Q3219755$AFCC5A5A-7D64-4D3B-90CA-79A85B839114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a315eaeafdd361283d1d05820b5bbeba9530370c","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1dfc615b8c22579a9a39a5eb9dd8e28124a6cf","datavalue":{"value":{"amount":"+0.8649447560310364","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":"Q3219755$3C065B99-45DB-400B-AE2E-565DEDFBE0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd23a117cd7276bd65491167399681b38f1d11d9","datavalue":{"value":{"entity-type":"item","numeric-id":3677736,"id":"Q3677736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a7b685b0d7187928c40c2ea4f047490cddb21a","datavalue":{"value":{"amount":"+0.8441344499588013","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":"Q3219755$91930C33-8FA3-420A-8940-C52980C7B460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47ea99c5c5c04c9a31e0787dcd731a67128228e","datavalue":{"value":{"entity-type":"item","numeric-id":3740224,"id":"Q3740224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc669f45517d383e24400d24ca7c2791ec32c28","datavalue":{"value":{"amount":"+0.8405961990356445","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":"Q3219755$24C44A8D-838C-4B8C-9B1F-003A26E70B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1601b8c796d8b20e76b5fba486f8da6ae71efa7","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30c4311ed1607da924c1433d6ab7007945539a2","datavalue":{"value":{"amount":"+0.8304901719093323","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":"Q3219755$84944A81-EABF-4369-8108-CCCC7A1A2BA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3219755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3219755"}}}}}