{"entities":{"Q5950930":{"pageid":8127732,"ns":120,"title":"Item:Q5950930","lastrevid":47716648,"modified":"2026-01-02T12:39:22Z","type":"item","id":"Q5950930","labels":{"en":{"language":"en","value":"The control layer in open mechanized reasoning systems: Annotations and tactics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1684876"}},"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":"Q5950930$7C375303-56C5-4803-AD73-8B8D2BB5FBF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"848751db1ddc623f6492f5299bd35d9248cc7b3d","datavalue":{"value":{"text":"The control layer in open mechanized reasoning systems: Annotations and tactics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950930$B48CFC15-2C26-43E6-9944-8F620A3758EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddc2bd6c97e5a43414ef455756106f2e52f40941","datavalue":{"value":"0983.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950930$D8829DB8-B3B3-4E0B-930C-C002FE7CFB17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$A7ED0494-D005-468D-A22D-06A99E872B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0eafb68c19befceb5ffea674465368ba289a26e","datavalue":{"value":{"entity-type":"item","numeric-id":219436,"id":"Q219436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$A6E83655-AB09-4385-ACEA-D9AF740977AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99809ed495e654999be3f275423a0ba7027d3b10","datavalue":{"value":{"entity-type":"item","numeric-id":219437,"id":"Q219437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$3D3F9908-BBA7-4A44-B43D-8D81444FF85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$785C96F0-D938-428F-893A-3895C6A77EAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$1281D9B5-D78D-4423-B6BA-12849530F6F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae0446501a58098cb1329379aa4eb6f9a6b2c8cd","datavalue":{"value":{"time":"+2002-01-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":"Q5950930$4BCA5D2E-A887-4970-A670-27E24F5BDEF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1df42df425d6c60fbdac08c75d3daf0d86f4d84","datavalue":{"value":"https://semanticscholar.org/paper/c18a5d1f224cb1f96c598ed20aa4707079e4ac95","type":"string"},"datatype":"url"},"type":"statement","id":"Q5950930$1F624051-8A34-42D2-B06C-5EFBACDC911E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950930$977257D6-DFA9-484D-AAB0-28EB1E350B8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"617a68f00ca461d4c445d4d62f5fe5b61f45f4e0","datavalue":{"value":"1684876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950930$1D734756-CD02-4529-9C4B-5CBA0C35F0F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fedd9c6e023a63a6f868ea34ebab17cd5db253eb","datavalue":{"value":"open mechanized reasoning systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950930$75E67553-2DB3-402B-BD02-96C0E48868D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$7E3F10B5-0CD9-418A-9EA4-46638E2488BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfe3bcc0009a21918f21df2ce90f46715f021133","datavalue":{"value":{"entity-type":"item","numeric-id":15891,"id":"Q15891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$D02C522E-FEE1-42FB-99A4-9016F22A0652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$53EAA7C8-F7A8-4660-A2A5-DC55769CC841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$7D9F3A5D-8B5B-49FD-881F-B15BBF0C9892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"172e13e561e0b6f3068edccdefd44ee4b1d90adc","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$37D2B038-87EB-48B5-9530-3CAFF3D7215A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$47AD30BF-6030-46FD-A3C2-2D46C0506FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29391b19386946f3f8609d95651483db905027b9","datavalue":{"value":{"entity-type":"item","numeric-id":22439,"id":"Q22439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$15234F79-664F-49FF-B724-C1B33F0423BA","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":"Q5950930$C5DAF1CD-BA33-47AF-BD01-3FCA69591D9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ca07ad4a1461c509c0152cf8021389b7ca0c593","datavalue":{"value":"W2021531072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950930$57C9CDE0-F834-4EC6-8DA7-B4BEF48CE687","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae832bbf70497daa1223c1c84d7efe05b0b792fe","datavalue":{"value":{"entity-type":"item","numeric-id":4518863,"id":"Q4518863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$0B652694-89D8-42CB-8C75-C3E18F95DE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e6e6de10d9f8fae8f2cc2416c35c7161d0be83","datavalue":{"value":{"entity-type":"item","numeric-id":4223144,"id":"Q4223144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$7941046F-E4A5-41BB-8BF6-A8916DEB67E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c443fe6b63b3675430b8a67e3e491b123ad8f237","datavalue":{"value":{"entity-type":"item","numeric-id":4217952,"id":"Q4217952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$FDDB6BC3-A922-45A2-B747-0AE59C89B859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dadb8fe597fe169d0f966baa932899a4a5aa96","datavalue":{"value":{"entity-type":"item","numeric-id":1273563,"id":"Q1273563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$7F222791-12A2-422F-A20F-7204B2101E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$35BA17B2-741B-42A8-A5A1-4C320209C54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb3e97929024d2ee37616602a13d3244533bbb2","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$ECF441DA-0544-49D1-BAC2-31A17BA7A4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5becb9544d63b9fee8587b54b69cdd06b7a6dd3c","datavalue":{"value":{"entity-type":"item","numeric-id":4499152,"id":"Q4499152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$A35F197D-AFEE-4551-99C1-D9BFB2A24336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7c363a27a263520d2a20d3c2024b787757ecbb","datavalue":{"value":{"entity-type":"item","numeric-id":4518871,"id":"Q4518871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$84CEFC18-0F95-4817-887E-B9A44771ACA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$F43B8D9C-A17B-48AF-B107-6E228731066C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$313DE5FC-142E-425F-B317-7C7B326023ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eac03bcce310e1fdc4885184b15fdd3ade8c365","datavalue":{"value":{"entity-type":"item","numeric-id":4520772,"id":"Q4520772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$738EAB1C-E8F5-4BDD-B33B-B4EDDCB3E2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$17CF0436-D3C8-4CC7-BF1B-2B8DA8DE73C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$15C16DE3-1F2C-48DA-B5AD-929EAADCC7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6496304f13783e82d12a275120aa4626825ea47b","datavalue":{"value":{"entity-type":"item","numeric-id":4231030,"id":"Q4231030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$CE20616D-2430-4D6F-B138-A98AB2D99AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5d997d3c3c1c4cbe0d251137694980cd98cf08","datavalue":{"value":{"entity-type":"item","numeric-id":1272607,"id":"Q1272607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$20FE8F80-2687-4387-8675-C95ADAB57ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6865693541f5bc45c0d517a1263aad887cbf5ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5210799,"id":"Q5210799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$DF39BD79-965F-49BE-8DD9-0C960F30D9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73c4001000eb02721d5ba68097f163c82dcd83f","datavalue":{"value":{"entity-type":"item","numeric-id":4222859,"id":"Q4222859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$AA97094C-4331-4C98-A826-80A2A67013E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36848e736e9c80f059e3a353e82e48cdc48e192f","datavalue":{"value":{"entity-type":"item","numeric-id":4223002,"id":"Q4223002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$69FDD581-D006-4AE9-8C47-EBEEDDAFD9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$C783E046-9CC2-48A7-998F-E0732A12B0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1942c8a63628b04c1226686a2854b9947e991ca","datavalue":{"value":{"entity-type":"item","numeric-id":4847001,"id":"Q4847001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950930$69841CDC-F55E-4149-8D56-EDE11A7B8BF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3401bdee0f01acf7c74574608779e34c0e668d7","datavalue":{"value":"10.1006/JSCO.2000.0464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950930$C1DD27D6-0665-48B4-AA4D-536FE7DFB67F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f917f922925004848d529fa46cd3c8e2f38a58b","datavalue":{"value":{"entity-type":"item","numeric-id":4499163,"id":"Q4499163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b16a9c54c526c568d44b45db2857a55f04ba2d3","datavalue":{"value":{"amount":"+0.8855835795402527","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":"Q5950930$F21A0B67-7F70-4480-9ADF-CB4ABCADF481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb894f61d73903b4850e0f8affce8c9866828664","datavalue":{"value":{"entity-type":"item","numeric-id":5931115,"id":"Q5931115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158919cf2525f424eed6cfaba519c8dfb8721336","datavalue":{"value":{"amount":"+0.7744058966636658","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":"Q5950930$FE6882E7-EDA4-4030-A66F-CBE75450B858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165096f364382806074d5e875cb278629a15da93","datavalue":{"value":{"entity-type":"item","numeric-id":4499164,"id":"Q4499164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158919cf2525f424eed6cfaba519c8dfb8721336","datavalue":{"value":{"amount":"+0.7744058966636658","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":"Q5950930$8C276F52-7CC5-4054-A438-E053A25016FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a99606c904bf3262d15e460058d95f88a306e1","datavalue":{"value":{"entity-type":"item","numeric-id":4934140,"id":"Q4934140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71c7777bc5bab22118e482e338dbef8480f997c","datavalue":{"value":{"amount":"+0.7505297064781189","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":"Q5950930$C317BB48-D26D-40EB-B538-91A15C003C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29cbf49a2d34b109d22fd4aed20f4c51c8b3874d","datavalue":{"value":{"entity-type":"item","numeric-id":4217952,"id":"Q4217952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e316dafd6ee3b775bd3d51c4c8e2ab694ba394","datavalue":{"value":{"amount":"+0.7400188446044922","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":"Q5950930$611EA9D4-D574-41C5-9EFE-24B46FD17ECD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5950930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5950930"}}}}}