{"entities":{"Q6160748":{"pageid":13295629,"ns":120,"title":"Item:Q6160748","lastrevid":58728825,"modified":"2026-04-06T12:11:53Z","type":"item","id":"Q6160748","labels":{"en":{"language":"en","value":"Strongly first order, domain independent dependencies: the union-closed case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691328"}},"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":"Q6160748$ACA60613-FF15-4113-ADC4-D9EBDEF2E3BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b34a0a950b369b3cbe1febea5a39df162f04d8e","datavalue":{"value":{"text":"Strongly first order, domain independent dependencies: the union-closed case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160748$4C232C58-C200-4F9A-944E-BB1EC75E59AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fcac026469b3d4133c0da1499f8f00d588efd61","datavalue":{"value":"10.1007/978-3-031-15298-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160748$1F181A95-8E82-4AA8-AFF8-6BF5D01E9D9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7cb654b2c7fd2fb3c129f71991a5ac4f8d4c76d","datavalue":{"value":{"entity-type":"item","numeric-id":645984,"id":"Q645984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$DB934A13-FA47-4E83-9702-ECA4D3452CE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$C5117200-41D0-46AA-8E51-AD21AD392D7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160748$A99496B3-F1A9-48DE-BFB0-7C3E85D19BB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59e3706346928769a044d30972f1c823b1effcdc","datavalue":{"value":"https://arxiv.org/abs/2205.06466","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160748$E742AA55-F462-4B1A-BB8E-66AA3D74B5E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160748$422D19B4-6913-4E00-8BC0-41DEDF8F0E8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"377f1baa3662f47febdfa0675dcae5edae6ff599","datavalue":{"value":"7691328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160748$2E887189-877E-48D7-99E1-9D17A85131A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160748$12789EE5-AA97-481A-9A51-54D0C17566F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160748$DC58A148-30C8-4F3E-A8C4-FE9B82485ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160748$2FA2C173-5F93-41FF-B5C2-7266FFE6BC10","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":"Q6160748$0C593B7D-9852-445E-8FC7-C534B9F6EB18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"038618c3d191d5d15f9388397c6e989cb360cc0d","datavalue":{"value":"W4297809199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160748$C3A9851A-1577-44A0-A730-1D549AE2C060","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"223c5ceee549a94a8ba5c26ff64a6da011e42238","datavalue":{"value":{"entity-type":"item","numeric-id":4050122,"id":"Q4050122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$76FB1582-50BB-4B24-8143-837560B8BCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92519a57cea63c4ef560f91abf6fd5c4b6d5056d","datavalue":{"value":{"entity-type":"item","numeric-id":1647487,"id":"Q1647487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$DC599957-054F-4718-872C-214485C0F624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$76FFB5EF-2601-4CFA-B7D4-D4F71BF24479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60fba133fd91573510725661d063b3552ae2bdaf","datavalue":{"value":{"entity-type":"item","numeric-id":897651,"id":"Q897651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$7553FAD5-7F86-4CD1-B08A-ED8B294C7901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242161c835d65c89be9101966d07684b65a01b37","datavalue":{"value":{"entity-type":"item","numeric-id":5213641,"id":"Q5213641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$C621566F-24E1-4D66-99C9-5F88D7C6304E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a66a2cc662c7257cf7427007d78cf84f050c3d36","datavalue":{"value":{"entity-type":"item","numeric-id":5195061,"id":"Q5195061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$665AC4B1-AD46-479E-ABCE-DDCB5F78B5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a33f65824e2a9c737d32e11e2241095a0d3a4ee","datavalue":{"value":{"entity-type":"item","numeric-id":5020523,"id":"Q5020523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$9C58C08B-E150-4A9B-B816-BEB48539F5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dee46cdf3bf1584dc590196a56f1a65ba2dff4d","datavalue":{"value":{"entity-type":"item","numeric-id":2029599,"id":"Q2029599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$B32FEAAB-F835-4E44-B7DF-6B52A6F2B0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fdc88104c949ab7b79681f46863996211c4bfde","datavalue":{"value":{"entity-type":"item","numeric-id":2148777,"id":"Q2148777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$14CA70B6-D1BE-4F9D-85FE-569287E93F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d174a5532fba5272b2f046018846c5d54ed5d3d0","datavalue":{"value":{"entity-type":"item","numeric-id":2958528,"id":"Q2958528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$12C4C10F-5F21-44DC-A1D6-EA1450A69FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daff71bc4d4ea1377d5797f799dbb79e4a4de179","datavalue":{"value":{"entity-type":"item","numeric-id":5249667,"id":"Q5249667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$80BC23FB-E709-4474-AC55-EFB1A13D8629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f8c5a0cc0a6db23dd94cd2c6ba8cc0ec6f7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1956372,"id":"Q1956372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$818FF20F-D0D2-4A81-861F-A1A7E39AC632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf4ac731b5cfb28c24465e073ab3cec2f6c7d0a","datavalue":{"value":{"entity-type":"item","numeric-id":5034235,"id":"Q5034235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$67DB6C06-80AC-418E-9628-1F7265280690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be154b266f49b889b70e2e16e1ef5f70c091bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5732647,"id":"Q5732647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$F9C3870B-350E-4E44-B932-EDFD833BEFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159a5b6bc122136ca7e837726b08a530e0338246","datavalue":{"value":{"entity-type":"item","numeric-id":4732440,"id":"Q4732440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$0F618CAE-8072-4503-AE15-863E70992754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$3E51A2F4-7E2B-4183-9901-202F3B48039F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$A85F0E8E-5F86-4167-9C52-0E53DCA39E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a754ab887d6c0fff91593414b5f52d116b9cc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":4608623,"id":"Q4608623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$CDE8F464-CAD4-47AC-B3D4-6DF7FCABAC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b099341778886393a04332f3bed6ce3e8f7278b","datavalue":{"value":{"entity-type":"item","numeric-id":2303604,"id":"Q2303604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$A464064C-1F8F-410A-B9D5-B628DA477E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa6873b9769173f427d2c0089648b702e3e0826","datavalue":{"value":{"entity-type":"item","numeric-id":302243,"id":"Q302243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$FDF41758-25F2-4ED2-BC05-529B5F306AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160748$D8D788DD-881B-450A-ADF0-C37B35DE7432","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0834f4f457425a1d30857ebf9cf7ffe008b6b891","datavalue":{"value":{"entity-type":"item","numeric-id":5213641,"id":"Q5213641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8597f9ac6db4a737bd16309980ccc4d10ba53608","datavalue":{"value":{"amount":"+0.9080271","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":"Q6160748$D1807CFB-3761-4739-8B8D-FF186CC5557F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b3b13f20b99252c1d049204522e86336b18089a","datavalue":{"value":{"entity-type":"item","numeric-id":5195061,"id":"Q5195061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcba3302ce95a973374d4965e348a8dc999d0dd4","datavalue":{"value":{"amount":"+0.8818498","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":"Q6160748$C833BEF5-A50D-4C20-9C65-92FC64DA5CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a062873d79f7df89026335d3831754cbc19711","datavalue":{"value":{"entity-type":"item","numeric-id":5020523,"id":"Q5020523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b0ff025a41f73fd5f3599f584e982150525f5ca","datavalue":{"value":{"amount":"+0.8797535","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":"Q6160748$5E84866F-AC96-4A9D-9DDC-0A698B4C5F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bcd7bf9c8887e158814d32f3ad6dc5d5759a08","datavalue":{"value":{"entity-type":"item","numeric-id":2148777,"id":"Q2148777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4148471ce96e35d7b6834753824589729eda393b","datavalue":{"value":{"amount":"+0.8790113","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":"Q6160748$D17B9040-012E-48CE-AAEE-572C0FCF3563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f7bdfb9155a9ba484d95069d24e5b5a0089cee","datavalue":{"value":{"entity-type":"item","numeric-id":1073012,"id":"Q1073012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2c3e05b7c5e49ebf42372414a78d24f5eb2f01","datavalue":{"value":{"amount":"+0.846784","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":"Q6160748$FEED5C0A-96D2-438B-A61B-5D5F9C39129F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e9856a2164f5451051d49b90c108e936b4dd4b7","datavalue":{"value":{"entity-type":"item","numeric-id":3779792,"id":"Q3779792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa17bd51e38fdee4467e66c79cea427a7e0ac3f","datavalue":{"value":{"amount":"+0.84297985","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":"Q6160748$317EA19F-8965-41B4-B81E-E261F5708FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3ee318bf33ea386c29f2b82730213cebbdf637","datavalue":{"value":{"entity-type":"item","numeric-id":388209,"id":"Q388209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da14e12d18359a6e1515e2c6459ac87dde003f2c","datavalue":{"value":{"amount":"+0.83319646","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":"Q6160748$FD1C3FD6-978A-4645-9C37-E7E9330B99CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e63e737fb9c9a2a508e3809bb7977e2af01b58","datavalue":{"value":{"entity-type":"item","numeric-id":3172889,"id":"Q3172889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc38e931c858775f2228ed0df39baa7001848b6d","datavalue":{"value":{"amount":"+0.8261166","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":"Q6160748$36971AD4-8278-45A6-8179-4E4EE753F9E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160748"}}}}}