{"entities":{"Q3222193":{"pageid":3232901,"ns":120,"title":"Item:Q3222193","lastrevid":48778231,"modified":"2026-01-05T20:24:24Z","type":"item","id":"Q3222193","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3887686"}},"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":"Q3222193$BE57D514-FDFC-4210-AA39-382AEAAE7863","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db9aa43e4ecb80d6da9be067561406c4a1dbbba3","datavalue":{"value":"0557.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3222193$F70902EE-2BB5-409A-9FA2-11D215268D92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f39e5514529b8e1c36aae3b627e7a08dc67c559","datavalue":{"value":{"entity-type":"item","numeric-id":704033,"id":"Q704033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3222193$07B4BC56-1A45-42DF-BCE4-F4356C460C62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3222193$29905A0C-2225-448C-9C29-89665EB15DC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3222193$DA29A9DD-5AEB-4FDA-91D4-A3F6175CD3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3222193$8CFDCE8B-450C-4A43-8432-5FB4995B4B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3222193$698BCEDC-AD67-4C31-9B03-4CE3B42E7698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3222193$3B99C402-78DF-4EB7-A498-55AE271C3ECE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aceffdba4207498d3f69d45e4ea7e9695b64dccf","datavalue":{"value":"3887686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3222193$16EAAA86-596B-43AB-BF3E-8F4908F0A1AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f263efca6f2b9c9dd11d28bf51589a8c81dbd5","datavalue":{"value":"finite axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3222193$6D7189A3-DB8D-44E2-97C0-314BD23EFF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3222193$F781682D-912E-497A-B8F6-723567B9CB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1f34e3d2ec5af03fa1d96f23e917b2a9ded044b","datavalue":{"value":"algorithmic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3222193$D9A8D395-3AD5-4708-A1E0-67DD505D2A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4057c0bb6b3985b7a4ca6a85c5ab1e483c19b200","datavalue":{"value":"transformations of finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3222193$9691BA80-B354-40EB-ACC4-AB0A487CEB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3222193$41653A11-0A12-46EA-99E3-0243B6DAEF3B","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":"Q3222193$2AA68BE1-BEAB-4A73-BB22-4743CD3D449D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f56f2530af70734774ed13ad652c98221f6024","datavalue":{"value":{"entity-type":"item","numeric-id":4890397,"id":"Q4890397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b163b9ceb221f9320c9db5b3b4b80f14745d2d","datavalue":{"value":{"amount":"+0.7612966895103455","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":"Q3222193$00D1593F-76F1-4986-8373-5ADDAFBADF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2547007354df2144a17488d82d5f2e8be006b213","datavalue":{"value":{"entity-type":"item","numeric-id":2885204,"id":"Q2885204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b163b9ceb221f9320c9db5b3b4b80f14745d2d","datavalue":{"value":{"amount":"+0.7612966895103455","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":"Q3222193$E1F461B3-1134-4F67-B804-F3A8F4DE603C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e69dccae1ae1084c3cd80a90a474e067dc1acf4","datavalue":{"value":{"entity-type":"item","numeric-id":3746878,"id":"Q3746878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a818909463d2e7c22fe0ae97a6744ac2d3fe6fe","datavalue":{"value":{"amount":"+0.7504439949989319","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":"Q3222193$FEC12B16-80FF-4F29-8B5B-B4606F8CEC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993370e17c3b4bc0b0841bd7b7ffccf6bb3baf3a","datavalue":{"value":{"entity-type":"item","numeric-id":1575907,"id":"Q1575907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26acc9c581c31695a7c70608504e1f450594f5b2","datavalue":{"value":{"amount":"+0.7319214940071106","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":"Q3222193$7AAAFEC6-BE1E-4C4F-8283-297196E516A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c8317bd306a7f89aa19c3a2ed3e602161b96bdc","datavalue":{"value":{"entity-type":"item","numeric-id":4412246,"id":"Q4412246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa220672cfe071eaf9f63666d57fb22515f8b70","datavalue":{"value":{"amount":"+0.7274089455604553","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":"Q3222193$C5D923BF-A490-4EA0-9769-B179A13A9CE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3222193","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3222193"}}}}}