{"entities":{"Q1655487":{"pageid":1666228,"ns":120,"title":"Item:Q1655487","lastrevid":73116684,"modified":"2026-04-14T14:36:22Z","type":"item","id":"Q1655487","labels":{"en":{"language":"en","value":"Automatic synthesis of logical models for order-sorted first-order theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6915518"}},"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":"Q1655487$B025482C-AE55-443E-AAC6-CE99F2DA5C10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d48f34cfe0f06c61eb18712ab0260f33b4615513","datavalue":{"value":{"text":"Automatic synthesis of logical models for order-sorted first-order theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1655487$2F7E8BC4-4AA2-4AC7-9A6A-DF064DE97F48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"935fe5475b37dd1c85ce2948bc3c548f14d7a26c","datavalue":{"value":"1398.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655487$066419BE-C26A-491D-A5E7-74665B2B0409","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$063AD5C6-A561-49B4-B673-9BF64D9CDE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c19588ca8ef1febcc87270db917e5f47cf5704","datavalue":{"value":{"entity-type":"item","numeric-id":989289,"id":"Q989289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$26F5E15B-C263-4BF7-8B11-212505B98616","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$20F50E21-70C7-4A22-A2DD-D4E38198AFEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"135d66d019a2cccdb74a66e127db81b39e6c2d3f","datavalue":{"value":{"time":"+2018-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1655487$362A3E87-CB2F-4857-87B0-717012A74438","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"233dde9b00d93a4771ec9bec43d8b10c8d2f5dbc","datavalue":{"value":"http://hdl.handle.net/10251/124228","type":"string"},"datatype":"url"},"type":"statement","id":"Q1655487$86698CCC-B0DC-49CD-A299-0909F694D0E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655487$19234F72-8780-4508-91A4-95579372D992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655487$418BE2EC-9ABE-40D1-B06C-73738815672B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75a6354f99099361f5ef6bc26621f0e8c59c3923","datavalue":{"value":"6915518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655487$D0E7A1AB-7228-42CE-84A3-04F51B117234","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ecf838bbe9279b2bd30071d114d050288aade2","datavalue":{"value":"logical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655487$A6CE9DB4-F761-49EB-BB31-BB7D722DB503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a34fafdde1d85870069193caacbddd3fef325fef","datavalue":{"value":"order-sorted first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655487$6DA8335D-A81A-4551-8DAD-79EAD040F0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655487$8971C4A0-D5DF-436E-AD1C-CFC4685B2ED0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$9713CE71-3849-4F66-A9CB-4F7CA9032CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215e268b021d037acb803be5f3846494c13771a7","datavalue":{"value":{"entity-type":"item","numeric-id":22084,"id":"Q22084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$87430861-11C7-426A-AA78-00EC4871B0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$3E7D08D1-6F7F-4612-85EC-3DC844BAD7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$0FEF962B-3406-44FE-9391-82843F51593A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69f362165978cbf04e5b5460992bc38f4ae05985","datavalue":{"value":{"entity-type":"item","numeric-id":30117,"id":"Q30117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$2A9D04C2-CE26-484E-B187-567221804CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$647D6E64-B727-4832-82A8-A281E6C4D5A1","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":"Q1655487$21B7AD0E-B662-4D92-8146-CE1476D57908","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"125d75c48cf8f423cf2091ecec83f9a1b39f2eb7","datavalue":{"value":"W2734627336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655487$E180D6F7-D1EE-4082-81A7-8B6BC07EECFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12258990216ff4021b244dae9f1b968a1473efa1","datavalue":{"value":{"entity-type":"item","numeric-id":3067476,"id":"Q3067476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$65EC8276-7CFE-4806-B644-F8B4CBC135C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a57a7658275032a7425abf43aa89e864ed677be","datavalue":{"value":{"entity-type":"item","numeric-id":3453647,"id":"Q3453647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$158AC222-E8A5-4878-AD88-84A4F10A8FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d331af7e92433b34c365e6444eec7a3e4b80ac8b","datavalue":{"value":{"entity-type":"item","numeric-id":4593003,"id":"Q4593003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$377846AE-C3E7-4410-A11E-66CD5FF452A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"337777a1937e81a326afc9107cde65fcc2a275fc","datavalue":{"value":{"entity-type":"item","numeric-id":4413064,"id":"Q4413064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$04575B20-DAA6-435E-AC88-F56DA29A5740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d4f90fa52e835209baaf1ee94cf3ff7e79c103","datavalue":{"value":{"entity-type":"item","numeric-id":5619067,"id":"Q5619067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$99220EFC-9B80-446F-8A0B-A75917BBE4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$2761E503-F196-4915-B39E-AB785AD0D3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff4ee9aa7b61305175d1a63c09b662886a78de8","datavalue":{"value":{"entity-type":"item","numeric-id":4210476,"id":"Q4210476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$373EB201-CB6A-4375-B074-D3A7F155FE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$6455D980-2A0D-45B0-906E-00F4EEECCA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$0AACDC5A-8B07-4804-852B-C17B0B557B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ce0e2cc73c7c5b521017aa559d1a91ef17a9c2","datavalue":{"value":{"entity-type":"item","numeric-id":4475109,"id":"Q4475109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$7C33DA24-B505-4DDC-8229-5B9E7DB94497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06b0a8ef425cb1262d4fd5f0aafee69f3766b550","datavalue":{"value":{"entity-type":"item","numeric-id":3148848,"id":"Q3148848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$B3D2F1AA-B19F-41EC-ABD5-7F7C40D3CB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f39e8fff5ffefe6ada701aa8caf00762246f7a","datavalue":{"value":{"entity-type":"item","numeric-id":438576,"id":"Q438576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$A3435B3A-203B-40CE-A0F6-9F56D189C939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1fc2214493d010f0fe081c1d38ff8d69a0927a","datavalue":{"value":{"entity-type":"item","numeric-id":1380406,"id":"Q1380406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$A57695E7-9F92-44BA-B008-AC9422059BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$B4847229-5648-43C3-A750-5285AC4FE5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$B6C77F41-8410-4216-880A-A5C1DE159C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cea6af4ac375cfff93398a6355c2fe5e1792d5","datavalue":{"value":{"entity-type":"item","numeric-id":851142,"id":"Q851142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$37BEB124-04BA-4449-9866-5C6DC36C2062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905bced2f4ed2fada959527f35930716f00e84f3","datavalue":{"value":{"entity-type":"item","numeric-id":5677070,"id":"Q5677070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$33A61F08-FC95-4E12-91A5-6CCEA5A5D7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$CD73284B-82C8-4D56-BE02-65A64D67E742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea090d60c7faf605e9735a41a99b4c1eebe07bf2","datavalue":{"value":{"entity-type":"item","numeric-id":3401099,"id":"Q3401099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$880EE646-67AF-4B35-A6A6-B8CDF6B33CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3527ffb2a53e53bf5a4104d55468d70942ed9c9c","datavalue":{"value":{"entity-type":"item","numeric-id":3000629,"id":"Q3000629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$0C467489-CB76-4D0D-9354-C02BA0A96D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52daa7db4d526ad28728d2a0c4c6496dadc100d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$86C4F7C3-948C-42F6-9932-8C7D7051CD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$5774B101-5E1E-48C6-8BE0-7273C96B6EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a01dbecb975909d969976d7e6352b9d192a2c8","datavalue":{"value":{"entity-type":"item","numeric-id":5683688,"id":"Q5683688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$BD84A958-7085-4A02-8911-8846094E57B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$2E749017-292D-4988-9F4C-C206CAC7AC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc36fb9d1df9b1a35a34c2d566116093d5b604b3","datavalue":{"value":{"entity-type":"item","numeric-id":3613435,"id":"Q3613435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$F76E2130-BED9-4267-91C8-2033E4A880B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$5CF50B2E-4272-4B33-B726-B501C5B8F883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$6FE1470D-98F3-4043-8A2E-AEBC2DCA1BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc4469e6646035129caba23b24c5ef3fc5ec70eb","datavalue":{"value":{"entity-type":"item","numeric-id":3522012,"id":"Q3522012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$9FDA7A16-3879-48EB-8BDD-DCB4C40250D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5198a245fea94b307475af5295dd4f6eedd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":438537,"id":"Q438537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$55BF6185-3B9B-4E45-ABDD-706E3DA199CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$CDDD81B3-55DF-42C7-B84F-3BBC3489B378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5856b03243ef69708a04852e1ef58148429a9abe","datavalue":{"value":{"entity-type":"item","numeric-id":3454084,"id":"Q3454084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$9FBCE6F3-3948-4A4D-9771-0B9397C57C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4613a5898c3f3aac9ea48077af04511f4f2bf56c","datavalue":{"value":{"entity-type":"item","numeric-id":3527303,"id":"Q3527303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$F3D4D3FC-813A-4A19-B136-0F7C1D1AAB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d01ed8b5a37204cef6ea0de4534fe7bad8dcf3e4","datavalue":{"value":{"entity-type":"item","numeric-id":1059404,"id":"Q1059404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$4F60347B-F76A-43EC-9C0E-6E9B6D4751CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62af4ee11e4bb90d5d2a044bca3f8ca5ca4ec84","datavalue":{"value":{"entity-type":"item","numeric-id":1059405,"id":"Q1059405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$6E6FE265-A9A8-4E6A-BF21-3687577FAF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e539a4445b58fda91ce61c7c5885fee9a27f8","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$5F4F2369-80A1-4DD4-B3E9-B85A357E5595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cd5ab5a5ea5c6193197d3df0f1f914a278f076","datavalue":{"value":{"entity-type":"item","numeric-id":4430286,"id":"Q4430286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$BDB940BD-94C0-40CC-9FCF-D3F54FDCB478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$1AF0A564-2CCB-4411-AFF3-B573EC91B7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347d29e996c39e4cc586a6928deee75fd423a34b","datavalue":{"value":{"entity-type":"item","numeric-id":5594890,"id":"Q5594890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$A89934BA-AAAC-4A27-BF7C-2E319EED201C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9bcd41a0a655569809a1c0f240490166298c56","datavalue":{"value":{"entity-type":"item","numeric-id":4772698,"id":"Q4772698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$346329F8-F24A-492C-8870-1A2C25A3B5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc790f619dcc224c6b465db898b211d5ca86dd4d","datavalue":{"value":{"entity-type":"item","numeric-id":4114748,"id":"Q4114748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$61085E61-67C8-489D-A1C0-77D1E0907F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a0248811b4cc5f461005899b2c31fae1c2c398","datavalue":{"value":{"entity-type":"item","numeric-id":5685660,"id":"Q5685660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$35F3C1C1-28E0-45FD-948B-4BB9C77BE5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87275d8f3e3ee98146b4e4dd034a7f8953926332","datavalue":{"value":{"entity-type":"item","numeric-id":5200628,"id":"Q5200628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$0C04DD7D-60BA-455A-BF6C-A1B425C307B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e754d2489cd4e938ceb6ef25e32ef535b674e9","datavalue":{"value":{"entity-type":"item","numeric-id":3541717,"id":"Q3541717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$DD03322C-4E66-4049-8B06-5BA7CDB5B823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$131E66D1-E86B-4A6A-BB53-526B79B288ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cb7f6d1b490c05a83224e0a588d211d03b2f5b","datavalue":{"value":{"entity-type":"item","numeric-id":4342087,"id":"Q4342087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$44B91549-92EA-41CC-BEAE-12EB0844EF6D","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":"Q1655487$A53D98FC-7C83-4E6F-A98F-9B79DF5E497A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866e08845ae2df1f0759b243b3ae9b0092d8f557","datavalue":{"value":{"entity-type":"item","numeric-id":2778874,"id":"Q2778874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$2D3480B5-1638-4E56-B84D-5F6AB090F00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4ec8825cd1a0de20ba8b0cc742dc9089b2b02a","datavalue":{"value":{"entity-type":"item","numeric-id":5941752,"id":"Q5941752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$40DBB75D-2725-43FF-9988-47C3B99DA940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d59713a33fffd1fe610c5f315ab2ff7c4cb9a0","datavalue":{"value":{"entity-type":"item","numeric-id":5055719,"id":"Q5055719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$C71C533C-D518-4A5F-A70A-4F5BE1709158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d83e0d809c9946be35cf8127887d0a3709fa8a8","datavalue":{"value":{"entity-type":"item","numeric-id":4124273,"id":"Q4124273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$BDB9BDB4-6D98-4761-BD2D-02A5FE0FF126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28430ed9b4f7a26aeb0f032922db74966365595","datavalue":{"value":{"entity-type":"item","numeric-id":1843170,"id":"Q1843170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$D3BA042F-BFAD-4937-8A65-D749A6ED1FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8e9433babfa01b39b72b0ddf6c5f892aa6f566","datavalue":{"value":{"entity-type":"item","numeric-id":5313720,"id":"Q5313720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$05083E4F-B7E8-426F-BF05-E3AE1383F146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b9fd6119cb9135bec674a7ba2301b32604d33b","datavalue":{"value":{"entity-type":"item","numeric-id":2827835,"id":"Q2827835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$0F2013AF-B4CA-4634-9AFF-1443E8DD65E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$A2D2E64A-4399-4E86-8BB6-1D41E68D276C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4503ba4114e24ed9a5c364813a9872b5b85bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":347382,"id":"Q347382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$CE745AD9-53EE-4D10-BEDB-125175AB777F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b5e466b1c925a5865453f6a7c6c7fb3f401401","datavalue":{"value":{"entity-type":"item","numeric-id":5606281,"id":"Q5606281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$4744212F-1036-4441-A4EF-4E83E7D015AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32f289e1e0dff5715993d2b994b6b8a7afa27b9","datavalue":{"value":{"entity-type":"item","numeric-id":2946584,"id":"Q2946584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$781A111D-23C3-4386-B101-1B8BC6E6771A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2501d03a9b82b43140d52a50ded25e008408b066","datavalue":{"value":{"entity-type":"item","numeric-id":5704000,"id":"Q5704000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$DDFBEB99-04CB-422B-A0D5-7CAD1EFBF61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$2C9D7E63-6F54-4179-8429-F45D175B18BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$25898EFC-B03F-49EE-BFEC-8032CE9EF1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bac26941f49b88d4fbb32740e5480bb0baa6b147","datavalue":{"value":{"entity-type":"item","numeric-id":5743584,"id":"Q5743584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$428DA62B-25AC-4CEF-82E2-49349DDD1AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b8cd2322fbc79f6a4b005612cc66d58a743ee4","datavalue":{"value":{"entity-type":"item","numeric-id":4805343,"id":"Q4805343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$455FD00A-A430-45D7-93DF-EBD119FD765A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c62bbf6dca31e7670023b851253136917414128d","datavalue":{"value":{"entity-type":"item","numeric-id":5389085,"id":"Q5389085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$2E79BFF9-F1B1-4E7A-A597-13C92E83293A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$AD6F0FE4-A0BD-4592-A359-0737F93BD42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7753b7643fec3175769499b6a4745d1f0878c6","datavalue":{"value":{"entity-type":"item","numeric-id":2956715,"id":"Q2956715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$F05DADBB-F903-4327-ADC6-8F48CD67BC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00175f41ac93a381d8dead1f56b6c8cbb629797","datavalue":{"value":{"entity-type":"item","numeric-id":5389149,"id":"Q5389149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$762C2792-DA19-4607-A28E-A8F9A9E336A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88539de063ae53665b7bb0de3d4b26be72e550c7","datavalue":{"value":{"entity-type":"item","numeric-id":1935778,"id":"Q1935778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$AE1C0D97-D39C-4E73-B008-2A03A40C568B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$23270D56-5B47-40E7-804F-996D0E20CE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c8a463f9a3b571311d8b327c6fb3c113220de","datavalue":{"value":{"entity-type":"item","numeric-id":2716044,"id":"Q2716044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$AFBCF9D2-5FDA-484B-8DB8-FF28D5F20E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b41bf10fdfd2161ed7f06a1ff68f053bddfebb","datavalue":{"value":{"entity-type":"item","numeric-id":5493328,"id":"Q5493328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$786D78D5-289A-4CCA-A29D-ECC9D7D81A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$95449FB9-3481-4D09-8C9F-492CB671A500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$129EF3B4-A9BA-491E-8C01-CE0B5CF74413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84180de62ceafef40ec406e2cc9991b75a098b","datavalue":{"value":{"entity-type":"item","numeric-id":4001345,"id":"Q4001345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$5FC3F21D-7964-4389-BFB9-F1978CAC46CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7493bf656ba59564acd6b7893d63e8087a65415a","datavalue":{"value":{"entity-type":"item","numeric-id":3960818,"id":"Q3960818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$401A081D-B3D8-4B94-9BEB-1E0DFD84CCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$BB121357-EA84-4461-B90E-572299180A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$B9AF62AB-C287-417C-8BD1-557EA7D2252B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$2FFDB967-A359-41F1-A3B0-1E26539FBA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4169b54e8fae381d306df7d6c35847db97325b68","datavalue":{"value":{"entity-type":"item","numeric-id":5277888,"id":"Q5277888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$2082C6A7-BBBE-4C3E-9F97-3B8C28368041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09289f6833573b3dfe785ef27b87fe1f0ccbfbc3","datavalue":{"value":{"entity-type":"item","numeric-id":1060859,"id":"Q1060859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$BF765B98-3748-47E0-9675-15972074059E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"718380434e13ecab09fa4cf3bd463d4c47181c65","datavalue":{"value":{"entity-type":"item","numeric-id":5816105,"id":"Q5816105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655487$B5BF3AEE-4BF9-498F-A794-4147546D371E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00d018335dcc34fcf6f10a75222ee528f271b9eb","datavalue":{"value":"10.1007/S10817-017-9419-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655487$B53FCF5E-9C1D-4847-B2E1-8064BDBAB95A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"282052c5564ecdbe46fc3efe7a4e6502efd51a16","datavalue":{"value":{"amount":"+0.7464869022369385","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":"Q1655487$8A2E004F-2095-46B0-B35C-463DC4BCB3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3133f4c42e5fbbae7f82e7a19aeb192c8d744aa0","datavalue":{"value":{"entity-type":"item","numeric-id":3460078,"id":"Q3460078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3206106d0d7dfed147ab602aee7ff05ae02f5614","datavalue":{"value":{"amount":"+0.7262721657752991","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":"Q1655487$C3CFDBFC-DFE0-462E-BAC0-3EEC6E378D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e640e0b096b62fb7b7b757a42951d65f787da9","datavalue":{"value":{"entity-type":"item","numeric-id":5688888,"id":"Q5688888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2081b054f9538621567e4d1fd76484f5943972d8","datavalue":{"value":{"amount":"+0.7084447741508484","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":"Q1655487$E1D5625B-8060-4158-A9DB-2B20B428EEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a01942a02711b00fe4d9ca41ae8b4ea9eaaf7d6","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5e89d6e86e62feba272e225516804f1897d9bd","datavalue":{"value":{"amount":"+0.7040145397186279","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":"Q1655487$F72F1E9E-8A89-485D-A246-1CF1EBA7C57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"443234213beb753f65056a37f918f0ed35d6dd53","datavalue":{"value":{"entity-type":"item","numeric-id":5210760,"id":"Q5210760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670d4b9cf1fa5dea2d23c90332358d96e9654fe5","datavalue":{"value":{"amount":"+0.7023251056671143","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":"Q1655487$CF47604B-CA9B-4268-AC03-09B733BD55D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic synthesis of logical models for order-sorted first-order theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_synthesis_of_logical_models_for_order-sorted_first-order_theories"}}}}}