{"entities":{"Q1622997":{"pageid":1633737,"ns":120,"title":"Item:Q1622997","lastrevid":71538009,"modified":"2026-04-13T22:55:11Z","type":"item","id":"Q1622997","labels":{"en":{"language":"en","value":"Projection for B\u00fcchi tree automata with constraints between siblings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6983401"}},"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":"Q1622997$32FAFF08-28DF-4BBC-B388-56826937FC7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6d3a5357ff6bae238a123ad902f188253a8dde8","datavalue":{"value":{"text":"Projection for B\u00fcchi tree automata with constraints between siblings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1622997$7ECBC0CE-ECBF-4D22-B689-E56B1E466006","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af5ae183c5633ce3c490212a228e6573a4d4d645","datavalue":{"value":"1458.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622997$7F664819-41C4-4563-8209-83FF4F1A0F9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f503a114f67c3001f713bc3dc0bb3e9f53888274","datavalue":{"value":"10.1007/978-3-319-98654-8_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622997$F9ED2BB4-C83A-414B-B18C-67EB5BCCB6D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cba041ba4bca3d358e9495e9dfd80253ea0ae0b2","datavalue":{"value":{"entity-type":"item","numeric-id":1622996,"id":"Q1622996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622997$A9D7E349-232B-498B-A44D-C5E2F95D599B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0725b78a7cc86600064fbe63488e61e381f5862f","datavalue":{"value":{"entity-type":"item","numeric-id":436609,"id":"Q436609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622997$6D932F55-06FA-4F49-8CBF-56E614B89F9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18cf30b5eb4a6f9f904a0abe2b57b56fd1dee870","datavalue":{"value":{"time":"+2018-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1622997$611D1C3F-99F8-4C64-A719-F1FE20D22C59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622997$05CC4310-41C9-48CD-A7D5-A88F03095378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622997$B43705BC-0B42-41AD-ADE9-593897E1FD14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0444922339564161e068a3075d0f353f3e28cbb","datavalue":{"value":"6983401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622997$69C82317-8507-41CA-AE35-A89B0D1C93AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1622997$5D966876-EF2E-49FF-995A-CC83F34E2A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1622997$CF40F818-A2FE-45D3-A9AF-F0FCF87C2DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6566fce84ad2b7192c4cc8f83cff1886be7810b","datavalue":{"value":"constraints between siblings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1622997$7DDA2389-060C-4D1C-A4F9-53800C2347AC","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":"Q1622997$532BBFB0-67D9-4BEB-8D2A-27FAF938A1CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fd2182716466af5f6dbcfc9494df2a1eea7cc08","datavalue":{"value":"https://doi.org/10.1007/978-3-319-98654-8_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q1622997$FD3FA639-C8AE-442D-AFCF-953A780F13FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"364eb83a5ca12d4bbf1171919ee7368a6be241b7","datavalue":{"value":"W2887249332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622997$9350A139-3D78-4EAA-A452-2A66E9CAEA16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85fe16ca17ce62ab7c063a17b896456c5557513","datavalue":{"value":{"entity-type":"item","numeric-id":5859646,"id":"Q5859646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q1622997$78EE6C25-23AD-4506-8A87-F8BAC2611325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53e77bd5682d04daa7ecac0827efaab0c6f7d691","datavalue":{"value":{"entity-type":"item","numeric-id":2920139,"id":"Q2920139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db071dd0862f8ba15fad64385770e80f62ce78e","datavalue":{"value":{"amount":"+0.86191016","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":"Q1622997$60981071-301A-40EC-82DF-AA17D695265C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0846e04194f368a896bd4b652d2436431e165c44","datavalue":{"value":{"entity-type":"item","numeric-id":1847374,"id":"Q1847374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f1a55f95d3c502db1432900a19b72c2ab295fa","datavalue":{"value":{"amount":"+0.8611064","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":"Q1622997$1A04D88C-6F0E-4B77-86EF-F8F57ABAE96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa902bb5cd2c42f1463e8c852c1efec4ca9e8a7","datavalue":{"value":{"entity-type":"item","numeric-id":4635878,"id":"Q4635878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062a31a25220413773395e8446ba1620c0f963e0","datavalue":{"value":{"amount":"+0.85928756","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":"Q1622997$277570E8-729D-4383-A45F-B6DCC46F276D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bca08890b0b29422a5b045ce9665b73c21a77cc","datavalue":{"value":{"entity-type":"item","numeric-id":897653,"id":"Q897653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90bd08c91e3f363653fe2bcc846045463e8f0bdf","datavalue":{"value":{"amount":"+0.858534","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":"Q1622997$0C482001-1713-4472-AC3F-8AC3BB19E226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3017c978ea879f454a8cc8fee6ebb5ca366588c3","datavalue":{"value":{"entity-type":"item","numeric-id":4992510,"id":"Q4992510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90bd08c91e3f363653fe2bcc846045463e8f0bdf","datavalue":{"value":{"amount":"+0.858534","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":"Q1622997$739BC439-B8A2-40C9-81C4-5F780A0EC070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"546c7a6caf65dc3b947ee24b930478e1f467e1fc","datavalue":{"value":{"entity-type":"item","numeric-id":4260705,"id":"Q4260705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2792dd920e576fed296e83b3069a699328a80fba","datavalue":{"value":{"amount":"+0.8450356","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":"Q1622997$4FFB126E-AD9C-4D07-A9AC-24836D26D9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c7f6a65ca3566cab93f402f8a76badab16ae07","datavalue":{"value":{"entity-type":"item","numeric-id":4933333,"id":"Q4933333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838754c34c01fbcbda2742434fef438c06c13a53","datavalue":{"value":{"amount":"+0.8443914","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":"Q1622997$CF666075-AE4B-4711-A060-C4325F83CD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f362391d23c34082bfbc7a63e9719f5e3522fec","datavalue":{"value":{"entity-type":"item","numeric-id":5505600,"id":"Q5505600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e14be16ef3f1e6fab99ec82191a11b0e9ba490b","datavalue":{"value":{"amount":"+0.8408658","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":"Q1622997$31AAE48B-1927-4D4C-B099-30F08A2C4DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a3d4e7b9e44fbe978755bae7d9338cc63dd18d","datavalue":{"value":{"entity-type":"item","numeric-id":5170814,"id":"Q5170814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab8ad07a1b55dd4ee86c1b8efc2dfabf5db158e","datavalue":{"value":{"amount":"+0.84039557","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":"Q1622997$E811311B-2E0C-4F01-B702-58AD6533CA8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Projection for B\u00fcchi tree automata with constraints between siblings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Projection_for_B%C3%BCchi_tree_automata_with_constraints_between_siblings"}}}}}