{"entities":{"Q5753528":{"pageid":7783079,"ns":120,"title":"Item:Q5753528","lastrevid":49467289,"modified":"2026-01-07T05:15:10Z","type":"item","id":"Q5753528","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4189200"}},"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":"Q5753528$AFB9EC0C-1BC0-4BFB-9ED2-62BBF1EFAB68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b6a5a51b3bad08fe23120ea06e4c43bc6574ff3","datavalue":{"value":"0721.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753528$3B0F0D42-ECF2-463D-8CBB-FC0EE1894C06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q5753528$A19423AF-89C8-463A-9236-8320F4686144","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753528$C3A4D141-23C0-40AE-BC9C-93E2A085EFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753528$55FD4952-6B10-48EB-98CC-A3EDF95193C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753528$DC02323A-8C47-413F-B8FD-A58D528208D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753528$A6B1B31A-CEE0-441D-9C8C-9E02093AEB3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"036448f3bffa09b0ebc0f0adb7285a83ed1f7947","datavalue":{"value":"4189200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753528$7292F44C-EC1F-44A8-B3E4-A54B78B10181","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753528$C61F5A44-0CA0-40B5-AF42-BBF482558C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c5439f2004aedef0dd1903dfebfa1c1f33abc1","datavalue":{"value":"Rabin automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753528$7806E5CD-0251-434B-BAD0-3FE4E8E7A4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b10d0d41cdb944f1b8ad3aedeedb6c9272f9d63","datavalue":{"value":"modal logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753528$B75AC92A-0A87-4E5B-8098-04DEB603782E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f07bf463f7dd0ae34a6ca7eac63af8055d6cf8ac","datavalue":{"value":{"entity-type":"item","numeric-id":671987,"id":"Q671987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753528$49D69554-D9F4-4ADE-AF1C-807F49E8DD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a7ca2c8d9fdc63a57bd7a5ed2a91e6844e83ecb","datavalue":{"value":{"entity-type":"item","numeric-id":607441,"id":"Q607441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753528$D9C2FFA2-EE3D-4C74-A39D-5FB72AD2DD95","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":"Q5753528$F7948BF2-9483-41AE-8ADB-D2C6E4D7A561","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f77dd506be1eac63e6aadd0d1966148f51fe14","datavalue":{"value":{"entity-type":"item","numeric-id":1389678,"id":"Q1389678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f7b46f12e93b21c456d667a5e2a309d83a9895","datavalue":{"value":{"amount":"+0.815558910369873","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":"Q5753528$B90FC1B2-CCE8-498F-A69D-B70E20127DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba7abb6349bb8a0db43f84b50294af44f2162d3","datavalue":{"value":{"entity-type":"item","numeric-id":4256653,"id":"Q4256653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de467987dc1ca70baf849ea4fb535ebaf3512c7","datavalue":{"value":{"amount":"+0.8077552318572998","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":"Q5753528$FA09D3AF-0C9D-4CCB-9A45-179DF447734B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c3155e83645691752d579150f549d4007828230","datavalue":{"value":{"entity-type":"item","numeric-id":3141779,"id":"Q3141779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d05166c8ce1772b1f1ebab5db884b23b790e23c","datavalue":{"value":{"amount":"+0.7849112153053284","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":"Q5753528$12B36018-157A-4CFB-BBC1-1E4DFE3E5331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c96848ab4b20b91e551012ae719482f9543201b","datavalue":{"value":{"entity-type":"item","numeric-id":5710000,"id":"Q5710000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0b46776d7e95f5e0448b617e1b10a72d664338","datavalue":{"value":{"amount":"+0.7807552218437195","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":"Q5753528$B48899EA-2E4F-4C82-AC60-45FA5487BF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8233fba8df961b9fac0b377dbbd93005522d5ba","datavalue":{"value":{"entity-type":"item","numeric-id":4818844,"id":"Q4818844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b27ff3b2bd87609da0eed25edf35f642acc79c","datavalue":{"value":{"amount":"+0.7803637385368347","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":"Q5753528$E2104517-A4F5-4812-B7E1-D653130CAA21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5753528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5753528"}}}}}