{"entities":{"Q4907868":{"pageid":6937447,"ns":120,"title":"Item:Q4907868","lastrevid":41565572,"modified":"2025-05-05T22:23:47Z","type":"item","id":"Q4907868","labels":{"en":{"language":"en","value":"Finite Automata and the Analysis of Infinite Transition Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138808"}},"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":"Q4907868$AEB57781-A1A1-4C2B-A1E5-C1CB40E54786","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b48dd284972743269f3425b08b4b6e57f73ddd4","datavalue":{"value":{"text":"Finite Automata and the Analysis of Infinite Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4907868$686FAC2A-CABA-4609-956A-788CDAEE5E5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3120c739db9ff4828b6fe834f7885cfeea57d720","datavalue":{"value":"1256.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907868$BD9BF830-2130-4DAC-AE82-08AD23224DA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79199a03bd31fb758b2fe1c5d893c339fc339a07","datavalue":{"value":"10.1142/9789814271059_0016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907868$424E7132-7C6C-45DA-96B7-0338CE90033C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907868$FBDA5DC5-45BC-4D29-8126-46EBDEC0BBEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aeebf9bd4378e6f764c1e2d0c61fa01519002d39","datavalue":{"value":{"entity-type":"item","numeric-id":4907852,"id":"Q4907852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907868$BA1C9AEF-EEA3-4B1F-91E9-03F6BB57CF14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15ea8e6212b2d0b7fd67fe1be831418ddf2951d7","datavalue":{"value":{"time":"+2013-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4907868$72958B13-1D8A-4BA6-8C08-F49538F22C43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b24d4014434e85b66401185ccf0dbc42d8ebacf7","datavalue":{"value":"https://semanticscholar.org/paper/d2b44987c210c25a4a1792d5f8d5216f5d4a932f","type":"string"},"datatype":"url"},"type":"statement","id":"Q4907868$D354EB41-9D10-4DB4-86E3-64E49CCE2A1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907868$D91C2774-B1AD-4BD0-AF72-3FFBBAEF693C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907868$3607B080-0350-4353-8E7D-A8AA9FB0FC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907868$F9FA7237-2998-4574-BB74-22ADD9C033AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907868$EA749F9D-1C0A-45EB-A467-052E57EBB698","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e30af6f18fd046711fcebe856d93b958480101b","datavalue":{"value":"6138808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907868$632665A8-759A-41F2-B54B-F71F2861293F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ff2fa969a7da0ab433f790e0e6b31e39bbcf70","datavalue":{"value":"infinite transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907868$C0B39BA2-EB77-4122-B741-AE59992D9BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907868$FC57E714-5C3B-4469-B9AF-8D88AACB86DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41d0c0a68c785db9e88bc16a9c1298867efc4bb8","datavalue":{"value":"Caucal hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907868$CFCD4129-A020-4AB5-BF9B-8F89E6B68262","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":"Q4907868$CF9B7FE9-EECF-4CC6-8C88-37E4F83F2323","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19b3e44c3e06928b0a7c5bb2551a88fcf1062a6d","datavalue":{"value":"W2407481752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907868$07CD1C67-61E5-4143-B43E-C1466650E2C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89e0d9e9fc90eb345e2d7071ebb798f50bb9c347","datavalue":{"value":{"entity-type":"item","numeric-id":5463968,"id":"Q5463968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679779f8cb2a884a8272fa36fdba8d739060b3f2","datavalue":{"value":{"amount":"+0.95296305","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":"Q4907868$763FED70-BD03-4BBE-994D-C48C6B20E216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7208a4fdd527dcb609a81f4a49213711c58b0a87","datavalue":{"value":{"entity-type":"item","numeric-id":3587257,"id":"Q3587257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd8ed6599d23a04afc136383dd229a353582eb3","datavalue":{"value":{"amount":"+0.9380868","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":"Q4907868$37048BF5-76FE-497A-AC16-FA90282BADD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5979cfe658453256f286c1ae7050f9bd04c5570","datavalue":{"value":{"entity-type":"item","numeric-id":2754072,"id":"Q2754072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3cfa016c4d31deeab7aacb1814fd59e6f1aa167","datavalue":{"value":{"amount":"+0.92030585","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":"Q4907868$BDF4A830-415C-4B1A-886A-A09C7F5E5DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff595df7d007ecaa81db64aad0e0a61fa69a2975","datavalue":{"value":{"entity-type":"item","numeric-id":4907854,"id":"Q4907854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9924934d597187fab8d71b49f48053d0af81d4b1","datavalue":{"value":{"amount":"+0.90993905","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":"Q4907868$C707B9F5-5A21-4C18-8F03-8C06CE748080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ea51f8759b640bdd54527895ec61fc8d966297","datavalue":{"value":{"entity-type":"item","numeric-id":5447366,"id":"Q5447366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96f6a503bc80f32aa7a1ee668c7425440d46652","datavalue":{"value":{"amount":"+0.90241843","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":"Q4907868$CD5FE222-343E-4993-941C-5805C8133F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d75fa64306914558eb9dcf5d972ce4a3b93ad93","datavalue":{"value":{"entity-type":"item","numeric-id":2842894,"id":"Q2842894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cbe867d92462245afce745ea50fab3ddfadefd3","datavalue":{"value":{"amount":"+0.9022315","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":"Q4907868$4B9FBA29-F91A-4690-8FA2-F2A0FC7B9223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018ac4bf5b158c2459c3019be0484507925a980d","datavalue":{"value":{"entity-type":"item","numeric-id":5333601,"id":"Q5333601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdad717c0a21e9807361d84e2315ef326157ed6d","datavalue":{"value":{"amount":"+0.90223145","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":"Q4907868$701910CC-D634-47B3-9DFC-CA0B412709AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a9fff3d7021329ba881c9b758ca389a43caa1b","datavalue":{"value":{"entity-type":"item","numeric-id":3341901,"id":"Q3341901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046d1dc08192928dc823e9ebe9d424de86e62642","datavalue":{"value":{"amount":"+0.8991097","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":"Q4907868$601F7F03-071B-4511-97B4-CC2BB573F952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b72adf6b26d2ce5af077e0b4d04e6b92b9e333f","datavalue":{"value":{"entity-type":"item","numeric-id":3776624,"id":"Q3776624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6fbbb589ffbbc2ee7e09d351a2a2b446da67ba","datavalue":{"value":{"amount":"+0.8986034","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":"Q4907868$C3E56B52-E1C8-4639-B95C-52B24C338D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13f3377afb018ea21c1350a8ddac444d46a64a1","datavalue":{"value":{"entity-type":"item","numeric-id":1650331,"id":"Q1650331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8878a7c0469742bea74605849df4deccae278e","datavalue":{"value":{"amount":"+0.8982346","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":"Q4907868$76F08D66-F033-48C8-B7A4-E2F56681B276","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4907868","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4907868"}}}}}