{"entities":{"Q6151760":{"pageid":13286067,"ns":120,"title":"Item:Q6151760","lastrevid":94190252,"modified":"2026-06-05T06:08:01Z","type":"item","id":"Q6151760","labels":{"en":{"language":"en","value":"Church synthesis on register automata over linearly ordered data domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7815091"}},"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":"Q6151760$8A51268E-9577-48B3-B693-917A28BA153D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96e7364147c4ed22c945a05d144658232906c46e","datavalue":{"value":{"text":"Church synthesis on register automata over linearly ordered data domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6151760$FE6CCF78-F78F-4CC7-88D6-A12792B4C978","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81f20dcf6d7a6582faf23d532c21a25d4059d249","datavalue":{"value":{"entity-type":"item","numeric-id":2200822,"id":"Q2200822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$3D3F9C0E-8A0E-4D0F-A262-57A16B2382F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c484714b6d84cb7bd9fe483e9d2b43a21d9a07ce","datavalue":{"value":{"entity-type":"item","numeric-id":453495,"id":"Q453495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$18238136-950A-4757-9D83-036478CA3777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d343b46ad0ad98ffe679ec47c4c8f1396503fbb2","datavalue":{"value":{"entity-type":"item","numeric-id":2164232,"id":"Q2164232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$EC02B762-B990-4D94-8053-6628926CC441","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$0C908AE6-54E7-4C90-A518-3979F8C1E192","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"012ca77457e4fcb067f81b39e263aa01ef27144d","datavalue":{"value":{"time":"+2024-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6151760$7719B11C-0FB7-4D69-89FB-FFB31D1FD01D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16e3411a2f5b6874432a9062fde8b636a19b0e32","datavalue":{"value":"https://arxiv.org/abs/2004.12141","type":"string"},"datatype":"url"},"type":"statement","id":"Q6151760$405EA967-458E-4BED-BC92-3687D0932180","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151760$F938753B-8AD6-4A2D-A9DF-00378A3AB39E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dc3e01b50a0fd2837592dd9a2f57b508b960abc","datavalue":{"value":"7815091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151760$7347D295-7538-46B1-A028-65A8F420B45C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151760$A486D8C1-3AA6-4F91-9CD3-B242F082910B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e759b5b61578fcc5da93b3d0b5c2e3e859fabf5","datavalue":{"value":"church game","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151760$48518A15-E1CA-4A11-90C6-C98E4747DFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a87656c643f17b9d18de57480a720b063c65ed","datavalue":{"value":"register automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151760$368EE02E-05CD-4E57-A8DF-7DEF0C7300E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f27d15651e2d788496c4314b915bd98e150eea04","datavalue":{"value":"register transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151760$6BB68BA8-6B81-4A04-A06D-D0082DD2279B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f619dc714391ec12e4194bd24c23b7582b6642b3","datavalue":{"value":"ordered data words","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151760$9A984A0E-CF97-4A47-93E3-876A3810DCB8","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":"Q6151760$EFCDA191-5939-49B6-8C92-1F4273B27D4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"653dacdca6e9e15902f709e3de94b7aec077acf9","datavalue":{"value":"W3118758710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151760$3B86BA75-E173-4B62-B2BB-B9D7D01DC6C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"548b87e5ca30bf4b84cee02f3c781266774526c9","datavalue":{"value":{"entity-type":"item","numeric-id":4635588,"id":"Q4635588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$35B6044A-9BD7-4F89-9085-9DB4E86EB093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4f3ec7f409d59dd76c842992bd7c51e96cbfb6","datavalue":{"value":{"entity-type":"item","numeric-id":5292620,"id":"Q5292620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$5208FAF6-0E8A-49E5-AEE8-1BD5F0496397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e822a873729bf12734fd9be5e030d817ec104b38","datavalue":{"value":{"entity-type":"item","numeric-id":2200816,"id":"Q2200816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$B1B66538-3EB0-4E43-8A71-194061CF89D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389f8bb6e034f5dba5389bf7419cef429b2c3164","datavalue":{"value":{"entity-type":"item","numeric-id":3176385,"id":"Q3176385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$12A71553-3FCC-43DF-9BA1-FC368CDDABAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a9e72cc7a907f4e0cc2ac1d393b3b2128916b1","datavalue":{"value":{"entity-type":"item","numeric-id":537919,"id":"Q537919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$D5B1B567-D703-4B16-BE0E-AD371DB92772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc345e4f187b136ccf0ef87dfd35fd64a8775d8","datavalue":{"value":{"entity-type":"item","numeric-id":5167825,"id":"Q5167825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$A0D952AB-4989-45BD-B952-24C9F7740DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2feb87e0fd6ab10a8f35cd44c38a5392aa00468b","datavalue":{"value":{"entity-type":"item","numeric-id":5444944,"id":"Q5444944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$96FFE72E-AEBD-4779-84D5-830866B92157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f0782ffa9d03ab5d340451b37854db6311022e","datavalue":{"value":{"entity-type":"item","numeric-id":1401233,"id":"Q1401233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$BC22C996-8940-4776-A0E6-B0CE78218849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc68c8527081fefb896753d77391f152671fc50","datavalue":{"value":{"entity-type":"item","numeric-id":5191508,"id":"Q5191508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$1C002B33-EE61-4E30-AD99-1623CCF0384F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$AC26BBDF-0A76-4213-B986-1F0BA6667F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb95117e247464fd508808171f7c004f37e96ff","datavalue":{"value":{"entity-type":"item","numeric-id":4412840,"id":"Q4412840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$715F6125-8850-450D-9B22-FDEE2B87E72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cc99a8d71da1c5a6110884877d19a97e5ebc24","datavalue":{"value":{"entity-type":"item","numeric-id":4977976,"id":"Q4977976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$F4C8480C-CCBC-4ACF-ADEF-5FD29800685E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fdad2a9fa196601b6354a6ce60636f0d1cd1af","datavalue":{"value":{"entity-type":"item","numeric-id":2842126,"id":"Q2842126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$42744AE5-8C54-4372-83CE-CCD25EE3461A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13061f68da7af79744918152892311afb29dd4ca","datavalue":{"value":{"entity-type":"item","numeric-id":5168517,"id":"Q5168517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$774FA317-D7D6-4F59-9E64-1BF97A906707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$7E4AA109-CE09-4616-BE12-8DB346CEC140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d713119ce499c7aa6060f9ba74dfee79edde132","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$6AE3FB82-A7E5-48ED-BE4C-3AD02132C0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cb607d88ad8e6c1f7d392d876ae904ba548fc5","datavalue":{"value":{"entity-type":"item","numeric-id":2938081,"id":"Q2938081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$2C17AC50-5327-4060-A8DE-7135087BC22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72c4a2c3f47e29311b1ae0e2b3b056023f80190","datavalue":{"value":{"entity-type":"item","numeric-id":5856426,"id":"Q5856426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$DF70BD52-3514-4142-8AA5-CED5F3A8B195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9222b8bfb9886db28df45303fde8efbaca9ad277","datavalue":{"value":{"entity-type":"item","numeric-id":3297765,"id":"Q3297765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$7EFD81FD-7846-497C-92F6-BD1EEEEDDDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$9B77DABC-4532-4696-8888-530F124DB075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$C31D9E14-1DE3-4DEA-AD71-B675B4172D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b237004628b28d35abd4b97b22c917ff2ee3b5d3","datavalue":{"value":{"entity-type":"item","numeric-id":6109605,"id":"Q6109605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$B5C44584-3505-41C9-B49E-54C7AF84D054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79da2439790169a6057373a2572439132df4a77e","datavalue":{"value":{"entity-type":"item","numeric-id":4972736,"id":"Q4972736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$581A895D-202C-458E-B7AC-7E3B7A8CA391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"091106aada8a83b8337d8fedb55405822e9d4c57","datavalue":{"value":{"entity-type":"item","numeric-id":2226763,"id":"Q2226763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$3E9624C1-DC6E-4630-A3D8-27B39D731DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914a7c99731edd8173afb5e65133ec969bbc41dc","datavalue":{"value":{"entity-type":"item","numeric-id":4536630,"id":"Q4536630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$F22A2225-A805-44F3-89FD-1770976B6A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$D7851886-4494-44C8-840B-1D164E3E9984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75292f6880dd3275361618ebb07df15f46377e02","datavalue":{"value":{"entity-type":"item","numeric-id":4074888,"id":"Q4074888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$852E5F74-5D58-4DF3-9FBC-40C3155C60A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31027ebb96e6a1422d884ed7ac4dcd261c73757a","datavalue":{"value":{"entity-type":"item","numeric-id":5891508,"id":"Q5891508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$8BC55738-6360-46E7-BA51-904E53BC5C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8242bbbfecd337b8ab3c26f77a53675fe55f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3113674,"id":"Q3113674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$5FE89616-6D7C-4F2E-819E-1F83BED48039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b8d231dd75703dab184a9e4819c4bc38b5e15b","datavalue":{"value":{"entity-type":"item","numeric-id":5899098,"id":"Q5899098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$D5BF4BCB-1C44-4423-B3A5-4395D214D189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"073058366b91fccfb40e7ad16ea04c20f3f7f3cc","datavalue":{"value":{"entity-type":"item","numeric-id":3617717,"id":"Q3617717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$45A3DDC7-F9BA-4ABD-9B18-3F84F398811C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ba6ee4184d1e83b23af04ea3e34386770ce9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151760$A769B401-CCC9-40D5-A6AB-83DA8B044282","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b87aca797cf8d90c922f4d2650011eb8b62db0b8","datavalue":{"value":"10.1007/S10703-023-00435-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151760$31862914-3D2C-4C83-BE3A-CA16EF67F49B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1948d5a3d4cb0e665ad20415c49f43b2c5941f92","datavalue":{"value":{"entity-type":"item","numeric-id":6560924,"id":"Q6560924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d8c0df0cbf6eca982a4a5e20e7adb2ba8fb148","datavalue":{"value":{"amount":"+0.8070880174636841","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":"Q6151760$F72AE388-A4AB-498A-B47A-3A1F0598526C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ae1c0f5785c71d17f86633fc5976110c44621e","datavalue":{"value":{"entity-type":"item","numeric-id":5875385,"id":"Q5875385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b89ce897dd2c5d10de4d0fa1525753538e1c7df0","datavalue":{"value":{"amount":"+0.7738140821456909","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":"Q6151760$0337B4F0-0C0A-4C09-916B-74EBBAA3E64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3620b8992fc501a1afaddecf6403c3ae15be4f3b","datavalue":{"value":{"entity-type":"item","numeric-id":5875386,"id":"Q5875386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d07fa03ff59f60410079902dadde477a601ffb0","datavalue":{"value":{"amount":"+0.7720732092857361","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":"Q6151760$FC47520B-9228-4E00-91D4-5A9E04A81721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7664ea195b09da5412a1afb3ca2159dbcd6316","datavalue":{"value":{"entity-type":"item","numeric-id":5856426,"id":"Q5856426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9135ee438654ff6575f8417dc9cba17bdaf0b32d","datavalue":{"value":{"amount":"+0.7700470685958862","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":"Q6151760$219DEE46-C4DD-45C4-9C92-9478082349A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76873cf6c412d0c30ddc41128002ee5caf5d6b29","datavalue":{"value":{"entity-type":"item","numeric-id":6109605,"id":"Q6109605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9e37786ffd1ad9bea1f5b40adddf03075dc230","datavalue":{"value":{"amount":"+0.76572585105896","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":"Q6151760$CA70D5B4-D534-4B38-A6E9-7F432A244C64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Church synthesis on register automata over linearly ordered data domains (scientific article; zbMATH DE number 7815091)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Church_synthesis_on_register_automata_over_linearly_ordered_data_domains_(scientific_article;_zbMATH_DE_number_7815091)"}}}}}