{"entities":{"Q6487559":{"pageid":14066328,"ns":120,"title":"Item:Q6487559","lastrevid":41232249,"modified":"2025-04-22T11:35:58Z","type":"item","id":"Q6487559","labels":{"en":{"language":"en","value":"A bounded domain property for an expressive fragment of first-order linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650203"}},"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":"Q6487559$68604A50-4AB1-480E-AF92-18C0A47E6B37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56ba60f6930f72994bed244755d9653b64b4b9d7","datavalue":{"value":{"text":"A bounded domain property for an expressive fragment of first-order linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487559$18256448-0405-41B2-9D38-D88B03DB00BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d291cb0b2793f6a57de32c4755f7d98c1fb14fd7","datavalue":{"value":"1515.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487559$F66EF4FD-71EF-4ABC-A1D1-BB83458DE89F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba17b0e92b6e9a296996fcbbf1dd0a2ee838832a","datavalue":{"value":{"entity-type":"item","numeric-id":517045,"id":"Q517045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487559$44E2DDDC-2916-4370-A797-1659A7BC0487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"116fa3f764527f5c8cd2c3e8bf7ba8070d0c57e9","datavalue":{"value":{"entity-type":"item","numeric-id":821562,"id":"Q821562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487559$ECC0580E-106F-4106-B34E-1F12D07D228B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5420dc66195d2108efd0f0e647229d16dc08ea8","datavalue":{"value":{"entity-type":"item","numeric-id":821563,"id":"Q821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487559$D132C019-2E27-465D-9014-EBCFF4768395","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487559$9C19EBFF-3634-47D5-B6D2-A562AB1E4978","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487559$5A565746-DB75-46DE-B09F-5A23D3D1AAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487559$5F34D535-1D82-45CE-BE03-EA82AF443346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487559$561AD6BE-93E2-4F67-9815-94385E43B523","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ee41cb0275f5e62abb101e0e42dbf8e28879df0","datavalue":{"value":"7650203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487559$1A51D53C-FF2E-4495-BB29-8E3B00F00215","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"141f213385ceb257b41cbd8556f3ba1d7ce89fff","datavalue":{"value":"first-order linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487559$9818D77F-434D-4024-AB99-42AE398D311D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78593de71844c2aad9ee12956d09253f286c77a5","datavalue":{"value":"bounded domain property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487559$A1CD9B15-FEA5-4BDE-AC5C-EFA8CB51AE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d31fffcf5c17741d7f085ed4b0128d1bd540c93","datavalue":{"value":"finite domain property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487559$AA252357-ECF4-4562-8EA0-29A8D6000083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487559$0B85DB66-0ECA-48D9-9D8D-E86083DD9D5D","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":"Q6487559$9FD932CA-385F-43AA-9AD6-2D9172639755","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd8b1d98e036277d3e9b33b4244c0f34c631edf7","datavalue":{"value":"10.4230/LIPICS.TIME.2019.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487559$173DA5CE-5280-432A-9A6A-3E2B4D11E189","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa488e25341d9e93dada166f13746f9be3023776","datavalue":{"value":{"entity-type":"item","numeric-id":1990508,"id":"Q1990508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ba744e63eef08be93ce55ecdf61ecc3c3b958e","datavalue":{"value":{"amount":"+0.9255204","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":"Q6487559$E24F77F0-5596-4673-B939-75EB9078FD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ff6e54c1b50c0922974c0029a41fe5cf9ceaa2","datavalue":{"value":{"entity-type":"item","numeric-id":821564,"id":"Q821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a467d8ff10c6f694ab58cb644dd2ba7346f6a122","datavalue":{"value":{"amount":"+0.9038022","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":"Q6487559$B7DDEE85-4DF5-4D9F-9F77-C862705BDFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6194f416d2385352b92d51a75642edf3f76343","datavalue":{"value":{"entity-type":"item","numeric-id":764266,"id":"Q764266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dba47c334ae53b8f7fb8ad1dfc83ae3b027d0c7","datavalue":{"value":{"amount":"+0.8990673","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":"Q6487559$3C493B56-B4DF-4269-AD5A-4F1F12B45850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd389323a0ab574d9b53763364dbee4a972e5ee4","datavalue":{"value":{"entity-type":"item","numeric-id":4364518,"id":"Q4364518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4635e9c74e9e583fb718a15d6d0caef3d6bacd","datavalue":{"value":{"amount":"+0.89232266","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":"Q6487559$B40F4B1A-BC45-4D85-ACF6-C2A17AB6A7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4749c931588c31648c97654758bf0cdfb3dc96","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d3352f0191ac59cb072177ce1618a53df3fb443","datavalue":{"value":{"amount":"+0.8885329","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":"Q6487559$6F8DEB18-62A8-4233-A287-82BE3A423EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9df7499817978c9c41a287e68810e53cff96ae","datavalue":{"value":{"entity-type":"item","numeric-id":4938418,"id":"Q4938418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d06b4cebec551e44ca1d39aa6d5730450271a6","datavalue":{"value":{"amount":"+0.88592","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":"Q6487559$C7D9D441-7B92-448C-A39A-79945703D264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c02ae77b41cf91ebd59f6eb7df9fcbe265f49e2","datavalue":{"value":{"entity-type":"item","numeric-id":1873230,"id":"Q1873230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbcf0e865df2198578aded7ac7739b115cf1eeb","datavalue":{"value":{"amount":"+0.8843397","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":"Q6487559$88E676B9-A768-4F7D-B9C1-7DFEC8F6CDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545d1c23e039802d3560269622daef18098c5313","datavalue":{"value":{"entity-type":"item","numeric-id":1849866,"id":"Q1849866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c100c26ca28eb757be814c0eaaade9afb5ff9cb","datavalue":{"value":{"amount":"+0.8837569","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":"Q6487559$18A3B3A0-33B1-44A1-9EEA-C2FFAA1CF0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6aca9a5039fba5f216bd8e6614355e9eea4c82","datavalue":{"value":{"entity-type":"item","numeric-id":4275689,"id":"Q4275689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7046afb938a207dc861914d33283d089c0c472d","datavalue":{"value":{"amount":"+0.87972116","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":"Q6487559$F545278F-E502-4093-AAB2-E15B5448ABD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf473c9db566695247ab3f0587faa9d503c8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bacda19c61734920572e60ddfac618f070b7692a","datavalue":{"value":{"amount":"+0.8760434","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":"Q6487559$FF3D2424-A8DA-4C35-9264-AF466FDE8F98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487559"}}}}}