{"entities":{"Q3184673":{"pageid":3195381,"ns":120,"title":"Item:Q3184673","lastrevid":50792759,"modified":"2026-01-15T04:57:21Z","type":"item","id":"Q3184673","labels":{"en":{"language":"en","value":"A Logic-Based Framework for Reasoning about Composite Data Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5619382"}},"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":"Q3184673$FCC9E0FB-A101-43D3-86DC-193DD020E55D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be7da3b4e720f981ebbdcd5d571a8c01e8797fb9","datavalue":{"value":{"text":"A Logic-Based Framework for Reasoning about Composite Data Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3184673$61BC0086-8D78-4971-8867-18511E64DB79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4365fc7a0ee23214df99517352993cb11cdfbfb","datavalue":{"value":"1254.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184673$48EA25B9-EF89-408A-BC92-F4424BD755C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0657658e3e5c45a28ab45fa97222019217b68faf","datavalue":{"value":"10.1007/978-3-642-04081-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184673$CDDA490E-0EC3-4F40-9537-130334A0582D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$C6C2EE48-D32E-408D-A732-BDA7DD4EA3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b348443563013712cd0868bb8f333db39958301f","datavalue":{"value":{"entity-type":"item","numeric-id":2828284,"id":"Q2828284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$E28B31B7-99E1-4A61-8BDB-1551461D00EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$4DF297D9-3E2E-4A2D-97F2-0A0E0DF9C0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10becd9e88add786cbcb24a4b7c65328ccb2ab08","datavalue":{"value":{"entity-type":"item","numeric-id":1688542,"id":"Q1688542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$868EFCB2-6AAD-46B3-9BD8-3E4A9899F97B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"37a5b16070d1a7c8f4badd285c0dae4b0cb4feac","datavalue":{"value":{"entity-type":"item","numeric-id":3184660,"id":"Q3184660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$61EE9CCA-1E25-4F8A-B90C-E2E5D9F0FC2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c2de73c647c0262c334db84c7701bb7132e3320","datavalue":{"value":{"time":"+2009-10-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":"Q3184673$5C604F7E-6491-4FB6-B776-79BD6328CC31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184673$0D6765C5-8A26-4EF5-B824-37A014E9A1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184673$FE59C795-DC8F-49BF-887A-91E5A2F7447C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184673$B1694ECF-93D2-47AC-9EFB-239ABC04503F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a6b0d29da14d6ea838345b88c02507fc73d3c33","datavalue":{"value":"5619382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184673$9B348F9F-4508-4B78-8832-71AB2B857A3A","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":"Q3184673$341E182B-7EEF-410A-BAC2-24EE14AC8AB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50b413e0cb602622b92d30bcad58e1f9b6e63ab5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04081-8_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3184673$FF40E4E1-82F3-46D3-8CEF-388D04526A43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f655e7e079f27dfbdec5a59b16c87c82d6aeb24d","datavalue":{"value":"W1503421880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184673$7308C239-3364-4322-B734-9326DA63C7EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da45fc98e122038d90504035c635f38f260a985","datavalue":{"value":{"entity-type":"item","numeric-id":5452600,"id":"Q5452600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$69EFD5DA-FBFD-40A0-931C-5231C2E80129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd073d5f1b45c21954c5cfcc1b9243be226d02ac","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$4E7F3A3C-993E-41CE-87FF-7031E900CF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c642b8a2a51ea751f61c4db5e751f89086f5237","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$4DE0B6A4-C3E4-46EB-BD36-5DCEEC0C062B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4a364c7ffd575e9526a9a72ed0402273dd4826","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$35F630C7-5568-4F93-AD07-2DF9D5EF02BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3a32751a143a211da73fec4c2725da5321c9d9","datavalue":{"value":{"entity-type":"item","numeric-id":3184673,"id":"Q3184673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$A9997BA7-405C-4676-A1DF-8D5B908AC5CB","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":"Q3184673$568AA7DF-8D45-4350-8CCE-6E4D7B9CA192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d8a2e65ef4c9f2ea093cb4ae2b4cf39166e690","datavalue":{"value":{"entity-type":"item","numeric-id":3613378,"id":"Q3613378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$9ACDC616-8F7E-4EB4-B1DF-7F35033CEDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$E5224E4A-C89B-4616-AEA0-8662F1B61ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0057ebcb88c0df2b943e29c0ccead34158962b8","datavalue":{"value":{"entity-type":"item","numeric-id":1841810,"id":"Q1841810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$A45C329C-7E2E-49DB-9320-F3F810ED3EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d926ddc0a6cb500bdbabe105e37ebbae5a4f865","datavalue":{"value":{"entity-type":"item","numeric-id":5458380,"id":"Q5458380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$1AF5741F-2C1C-4A95-BD42-FAAB1D64A019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9846a136de6407a3b8e1fec51a7185c1349644cc","datavalue":{"value":{"entity-type":"item","numeric-id":3189836,"id":"Q3189836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$E38693DF-7FAD-437A-A35C-9D4BCD344CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aeb86c2a25d2eca6c18a4b6be547b6975bd979c","datavalue":{"value":{"entity-type":"item","numeric-id":2643337,"id":"Q2643337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184673$82BC614B-1418-4825-B898-B8992243CCF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74e7ae950967d9d83198b88f58fe257c62a8a73","datavalue":{"value":{"entity-type":"item","numeric-id":2643337,"id":"Q2643337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de48367652d76ef04d6e61307480747bfa51a81f","datavalue":{"value":{"amount":"+0.7868281602859497","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":"Q3184673$FCE79CBB-5859-42E7-BFB4-C455EC67B8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"820ef20e3254e183ecf8e93e57f32a74b82f8203","datavalue":{"value":{"entity-type":"item","numeric-id":4417835,"id":"Q4417835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e72b026093f1a7c6edcdc976b32ac3f0db15aa4","datavalue":{"value":{"amount":"+0.7825886607170105","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":"Q3184673$3356C34D-E56A-4542-AC21-5636DDD86887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0fbceec55478b7811fdca0d030f66fe942aff3","datavalue":{"value":{"entity-type":"item","numeric-id":5899082,"id":"Q5899082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed4954377e466f975faf6c23bc24879b20a57a6","datavalue":{"value":{"amount":"+0.7793575525283813","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":"Q3184673$89FAA6CD-5876-4661-8303-3CA3C74C7CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d27e6dbbd4ab3110b9dfc5bb5147557198ed6f","datavalue":{"value":{"entity-type":"item","numeric-id":5408581,"id":"Q5408581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c2e66da649c6e635cd7f6a970983f06d20257f","datavalue":{"value":{"amount":"+0.7720460295677185","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":"Q3184673$D4A83C4D-7F08-4553-8023-A746341964E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0024e50d695c8494ad351d6735f89361ca5cb8aa","datavalue":{"value":{"entity-type":"item","numeric-id":3656874,"id":"Q3656874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6aac4cd96aeb325ab6a69ad907de276acde40a","datavalue":{"value":{"amount":"+0.7659839391708374","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":"Q3184673$51B87BE4-AF90-4F51-9050-6E187B0A93DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3184673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3184673"}}}}}