{"entities":{"Q5387877":{"pageid":7417451,"ns":120,"title":"Item:Q5387877","lastrevid":50366441,"modified":"2026-01-13T21:58:33Z","type":"item","id":"Q5387877","labels":{"en":{"language":"en","value":"Concepts of Automata Construction from LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279560"}},"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":"Q5387877$5EAE8260-6009-480B-95EB-6B2B3D64575F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b8847852d22bd93e8bfe25a355b41fcd6a7d055","datavalue":{"value":{"text":"Concepts of Automata Construction from LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387877$D52D5FBC-4539-4671-AFC0-BD661651042F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acea9f931e9f04bdb46b6f8a607df69a59b57ad7","datavalue":{"value":"1143.68436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387877$28E07A78-BDAE-4598-A4B7-F17BD477500C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ec27ae2c6f1f5eb47c6969cbaa5fd4940b091a2","datavalue":{"value":"10.1007/11591191_50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387877$71CFADE0-0D9C-4399-B55A-09FCFCBCE164","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"353dcfc201312b19a0e12c8dea717a3e06c26a9d","datavalue":{"value":{"entity-type":"item","numeric-id":557800,"id":"Q557800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387877$DF7FD605-5FF7-49C2-B806-E9166D54A613","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387877$64B7E576-2AE5-401C-8765-98AB8C36DEA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387877$A90EB0D1-3BB8-4181-9548-1C614BC8FC13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387877$A0D25D3B-F834-4DF0-8CED-03E946DF4E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387877$1710662C-51E1-49DF-B197-9F236394C793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387877$7B506358-23B4-4685-8CBB-DD8BFC0DFF5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"589fde03c371ca59b5d56730f248edb6eea10646","datavalue":{"value":"5279560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387877$2A00D553-7E51-4953-804D-1977CA342FBC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387877$805A481D-D8A1-4260-9771-A05DE90DCBAE","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":"Q5387877$11F68BDA-D745-484B-9ADF-11490009A259","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cd9a66b5fd8549888b56573302b2b23925d93f4","datavalue":{"value":"https://doi.org/10.1007/11591191_50","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387877$499BB596-499B-460A-9E1A-018F94269EE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9003b795e586e4404c97955619ca78f5f4888fd","datavalue":{"value":"W1507105430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387877$246B0E1E-3EFA-4C99-ACED-D94C3C314485","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ceee7cb320da2a0165c0827f8cb7a6d187aa514","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d799295affad67e07af45b5cd4b669ee412dad","datavalue":{"value":{"amount":"+0.8611379861831665","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":"Q5387877$8E330228-E28F-48E6-8827-E5C8C041566B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a8a2b7f42811a3289fb5dab3252e3f58a2f947","datavalue":{"value":{"entity-type":"item","numeric-id":2147688,"id":"Q2147688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9fd68ba013ed569c9c0b7006d0adaaa6dbc8e1","datavalue":{"value":{"amount":"+0.8587885499000549","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":"Q5387877$EBC5E511-41CF-47A3-8295-BA9D736A2804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aea161b8c3619543c5366b4985739b079dbf0cb","datavalue":{"value":{"entity-type":"item","numeric-id":2894268,"id":"Q2894268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c382321e0a8606924c3524a2e8d74453fb9c60","datavalue":{"value":{"amount":"+0.8447590470314026","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":"Q5387877$FFCFD3B8-BDAC-4C94-92C2-684159DFC126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991c13c38e3008a6f3176552cb5d7af880831a5a","datavalue":{"value":{"entity-type":"item","numeric-id":2026563,"id":"Q2026563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052281242cb7ba54e028a611175ce48135a04e84","datavalue":{"value":{"amount":"+0.8236182332038879","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":"Q5387877$FFC1B792-FEBE-4FE7-8E7B-05693A2287A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ff5c5704d7c393a836969185b008981f867e13","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718e554d697081dd752b60fb79029bf66bf0d8ce","datavalue":{"value":{"amount":"+0.8234487175941467","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":"Q5387877$22DB08B1-FECD-4787-A23E-44DC18FF593E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387877"}}}}}