{"entities":{"Q5277690":{"pageid":7307265,"ns":120,"title":"Item:Q5277690","lastrevid":52850255,"modified":"2026-01-23T15:39:40Z","type":"item","id":"Q5277690","labels":{"en":{"language":"en","value":"Deterministic generators and games for LTL fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743934"}},"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":"Q5277690$74A98966-FAC1-47A5-A268-083525FB1E4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6080d11d01f927a61dedf6ac57d3bbed10854d62","datavalue":{"value":{"text":"Deterministic generators and games for Ltl fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277690$1B19E6CD-2818-4E45-B599-8BDBB490D977","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe102d31b967f66bf70392764840fcb4944a7182","datavalue":{"value":"1366.03181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277690$D98B46EE-228E-4225-8210-227A43B9E543","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfe468df75d0ebaeacb62551208cfb0f46f90a1b","datavalue":{"value":"10.1145/963927.963928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277690$28136402-1AAD-46EF-83E7-75BCF170F19A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df162d37f422d461e406e7314360ac26287bb","datavalue":{"value":{"entity-type":"item","numeric-id":386610,"id":"Q386610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277690$DB1A2479-79DA-4C1F-97B5-A135601E5F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277690$64901586-E410-4990-8CA9-2F6952031EBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277690$20AF1382-85B1-4E65-ABA8-E43EBB8E97B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277690$00F1FB32-2266-4186-8201-533C3DA7ADFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b546648d23200c59745bfaadd627a8d5d9e85389","datavalue":{"value":"https://repository.upenn.edu/cis_papers/15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277690$D496A25A-73F0-432E-86BA-1E5258FA0760","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277690$1B6A6809-ACD6-4376-90C2-56143148881C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277690$393D6CE7-589C-429A-AC8F-57C2FC882611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277690$DE270543-2A4B-4FE3-8148-CD1BF8A1D8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277690$165A3312-842C-41E8-A1C8-EBD6E1D5D71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277690$479F77A5-C460-4811-9923-F882B5977B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277690$8BCBC480-7C99-4783-8896-56B1A58BAEC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02f9c9bd5e5b5a1043f59639a435fc4a80fea695","datavalue":{"value":"6743934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277690$BAC45D0A-04F7-41D6-BCAD-A5321E4FFBE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277690$DB5FA45F-DC29-4A7D-8A97-461279FF6FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277690$088548A4-8C63-4271-8D97-88C3E29F64D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277690$411FA7D5-3DED-4020-815C-74F8C7C6EA98","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":"Q5277690$F149DCBF-F840-4E2B-95CF-4546A84A87D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93ef135c0cd9f9377512cb6a0976d7105d21f1a4","datavalue":{"value":"W2178626170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277690$A3507DF1-93CA-4463-9DA3-C1A317BE393C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fa45a9da1d4ae2f9194ee3699c7b4638d400830","datavalue":{"value":{"entity-type":"item","numeric-id":5900562,"id":"Q5900562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0520b64b3e5c98d363412ca5c9189fa186cc79","datavalue":{"value":{"amount":"+0.8561679720878601","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":"Q5277690$2A861884-BC59-4F0E-B828-75BFED272B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69f385ccb3ee9ea8ddb9db29ac7342cce1f68b0","datavalue":{"value":{"entity-type":"item","numeric-id":4411828,"id":"Q4411828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb336ba8025245759069412e25168db735ed3c3e","datavalue":{"value":{"amount":"+0.8418018221855164","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":"Q5277690$5F96B687-4D96-43BA-8BA8-93A56C7BE564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f713f7cd901baf7e1747fed471f73b13691097","datavalue":{"value":{"entity-type":"item","numeric-id":5897677,"id":"Q5897677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5692592ead4662bfa793ee4606d828ababbe0c8","datavalue":{"value":{"amount":"+0.8408974409103394","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":"Q5277690$2CCEF57F-76FC-46C9-9B59-2F72A8DEB2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527fa8af777d27b52d2cd65bfd9010a03c415fe1","datavalue":{"value":{"entity-type":"item","numeric-id":2272912,"id":"Q2272912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e11fbca7f2b4a9e3ffb79d263dbdc46ca6c3bb1e","datavalue":{"value":{"amount":"+0.7844352126121521","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":"Q5277690$91CA7F3E-6785-46A4-AB8F-CD1029AFD75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250b54ae5d9deca34532253bec4f7fc669850dbb","datavalue":{"value":{"entity-type":"item","numeric-id":3528917,"id":"Q3528917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11860e515d788ce1ab14d06276404a03c0e309fd","datavalue":{"value":{"amount":"+0.7583399415016174","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":"Q5277690$41BE6182-8279-4348-89C4-A5868B253682","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277690","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277690"}}}}}