{"entities":{"Q1709455":{"pageid":1720196,"ns":120,"title":"Item:Q1709455","lastrevid":68860539,"modified":"2026-04-13T02:41:27Z","type":"item","id":"Q1709455","labels":{"en":{"language":"en","value":"Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \\(\\Sigma\\)-automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856398"}},"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":"Q1709455$400F4D97-A7BC-463A-92A2-6BEA09A4EE6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b72a57014817fe68cebe99fd2be09354720416a","datavalue":{"value":{"text":"Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \\(\\Sigma\\)-automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709455$DB81A539-2BDC-4141-AA6E-9CCC54875EE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cbc1bb1f5bfbfe2a79473190fa47da61ebdc72e","datavalue":{"value":"1400.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709455$FF0344FE-B6AA-430E-BF97-AED360B329F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709455$76A9701C-E325-4B6B-BE10-9013D82DE3BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb5f99ba419b7cb955bf510c52103b6e8129dbb5","datavalue":{"value":{"time":"+2018-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1709455$D994E1C3-7E3C-4D8E-B24E-2C45AA0EAD71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709455$D44B6737-3A6D-4F48-8B42-C4980190C237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709455$818F4088-6DEE-47BF-B677-53BA3B63643F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709455$50995625-62CA-4A97-AF8D-B447D775B962","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c77a186c58e0a847f1e91b64a49d19465edea09","datavalue":{"value":"6856398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709455$97C98F7C-A9EB-46A8-999D-25B5A5ED9FAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709455$8713F338-FCC1-4413-8370-4E8BEE557947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ccb7803ac81933879990338d84a07a1a7ff86e1","datavalue":{"value":"past formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709455$F472B08C-25FF-4781-BED2-30EE4CC4D2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38e87c5d8ed8df9646efd3c68b9689b6055e5888","datavalue":{"value":"future formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709455$9C894B87-9498-4315-9E18-BFD751FBABE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca74ed7341107a4c5612637dd2df45f2f363ec9c","datavalue":{"value":"automatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709455$58E6E3ED-0E13-4FF7-A73A-9F5036D32AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce06fc32fe2386475debd8648da98d1764e607c1","datavalue":{"value":"symmetric formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709455$2A37E120-9BCE-4114-BF2B-E2769843882C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b856f185edb2a579a72c40fa0c8e1f739df71b9","datavalue":{"value":{"entity-type":"item","numeric-id":1127547,"id":"Q1127547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709455$5A8049F5-9D10-47F9-B4A0-833305C525B3","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":"Q1709455$2CEA5EEF-D5F5-4121-B966-25BD72E33FB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4381da3dc54dce3edefa5ce404919afb7d0d606e","datavalue":{"value":"https://doi.org/10.1007/s10559-017-9953-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709455$85C1FA85-511A-4C74-85C7-A6DD1A40EFE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"567a62565c2d7a7f3d73531ca3f2508396294d88","datavalue":{"value":"W2736762504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709455$1E911B9B-13E8-4B2D-9BE5-6AD221EDFFA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709455$C8740113-F430-46AC-B1A6-ED8F312E5FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2cbd406133dd80bf3f5d166c994f8dbc0f6ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1124314,"id":"Q1124314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709455$DA2DF7F3-914A-4E72-960C-B69E22259863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a15cdb95dd7ddcfa67e5dc2559ce2629e10a355","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709455$99914C53-49D5-4AF6-95C5-CAB85ECA3655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aac8c199ce6fbb1b4c9b6f59b5839a462fcacead","datavalue":{"value":{"entity-type":"item","numeric-id":334231,"id":"Q334231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709455$446F9161-136D-4562-941F-F280C6048C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709455$0904A9FA-7752-406B-94A5-CB32723FB80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63395d93814febc8702468b6fd15654cd097ec70","datavalue":{"value":{"entity-type":"item","numeric-id":904417,"id":"Q904417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709455$73B4DEEB-A9BD-41D8-AB8A-9AAED2300232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b44f8e589b20c85d87517a7b807e5a4e5b030c5","datavalue":{"value":{"entity-type":"item","numeric-id":5147350,"id":"Q5147350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709455$FE628AD9-8980-440B-BB28-412B65F33344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577dbf13f89c10b0c88989570c2cc91becfcfdda","datavalue":{"value":{"entity-type":"item","numeric-id":1385765,"id":"Q1385765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709455$65A1E8DD-6FED-4A06-BFA2-A9D2D497330A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ed6c740b956903b5ab4e044c1b215c39460b33b","datavalue":{"value":{"entity-type":"item","numeric-id":5958141,"id":"Q5958141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709455$AEB05A55-8E46-48B4-BAEB-31870A0144B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847bdb99cb33a5f1424e34bd2acf52aa81768716","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709455$0728C1B6-6A27-42E9-A7E3-BA6F8029DC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709455$8AC6A6E3-56AC-4D35-BE49-D9B566D058B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d77b5b489f694eb6029cc6866c45e9ec838a2d2","datavalue":{"value":"10.1007/S10559-017-9953-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709455$8F50BA0E-EFCD-467E-A41A-39906387BD5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4b1e86637c5c86900ae23da31def7ad8b417be","datavalue":{"value":{"entity-type":"item","numeric-id":1616245,"id":"Q1616245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cff3c108d0d6027ffae6ee0f61f0a2e6bbab2592","datavalue":{"value":{"amount":"+0.87941045","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":"Q1709455$BB45438D-0588-42FC-9101-BBA4E9EB7536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb909634ea76a70bde1545ecb531165665460cb","datavalue":{"value":{"entity-type":"item","numeric-id":681718,"id":"Q681718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143ff716d9f79841b2e98b7b88fbbd86b17dd537","datavalue":{"value":{"amount":"+0.8580253","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":"Q1709455$83153F3D-E313-40DF-B80A-59F22E36CED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69eba8502a1543a1d178cb83e50d27bac27eebe6","datavalue":{"value":{"entity-type":"item","numeric-id":2814129,"id":"Q2814129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148e90dfe04492c7fc5608a00cc4f6a631ed657a","datavalue":{"value":{"amount":"+0.85727143","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":"Q1709455$B1DD92B1-498A-4404-B1D3-F0765FA9118B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f1ad6c81fc62614955d09692c82cbcb0d6310f","datavalue":{"value":{"entity-type":"item","numeric-id":671644,"id":"Q671644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5df442b23aa1f382188d0ee05b3479327dc3b6","datavalue":{"value":{"amount":"+0.85686433","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":"Q1709455$E2C8E723-A3BB-4E30-B690-6B18536D9EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd182e6e7ee252e3c10b03f928c4565b0c730301","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7379a139ea29bf4123c37849a41bc7a07d3249b7","datavalue":{"value":{"amount":"+0.83911484","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":"Q1709455$68ECB665-AD96-4A58-B425-90D9C6E0EACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62e8a589df1c8f915e50901282fb746e8e5469b","datavalue":{"value":{"entity-type":"item","numeric-id":4218939,"id":"Q4218939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30188747c312b832598fb3000fde18506d3314f","datavalue":{"value":{"amount":"+0.8383521","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":"Q1709455$A35364C6-8A88-406D-A41A-E38B227599F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81b34f94dba38d3509e273a16a87718db3807de","datavalue":{"value":{"entity-type":"item","numeric-id":5942109,"id":"Q5942109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c039ebb3b5dc61bbbbe427b9afef01bc9464d5","datavalue":{"value":{"amount":"+0.83294106","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":"Q1709455$7768C4E5-82F5-4C02-9FF1-B278646DEC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5dc37680c6ec85e6d860e9c85956e62539a0b4","datavalue":{"value":{"entity-type":"item","numeric-id":1655487,"id":"Q1655487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633e6143b6c451fd525c1e4ab14978221319fc55","datavalue":{"value":{"amount":"+0.832925","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":"Q1709455$619EC745-DA0E-484D-938B-60A6BF0C2394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"386d674305bd63fa77898f93ae2a684f03988748","datavalue":{"value":{"entity-type":"item","numeric-id":1647693,"id":"Q1647693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605f89739afb6bef90af799fad5fe765f4939c62","datavalue":{"value":{"amount":"+0.8243897","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":"Q1709455$863ED5E9-24BC-4164-BB7F-58EA9D103EA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \\(\\Sigma\\)-automata","badges":[]}}}}}